blob: 7c8f44ea8a49fffab71b4cbb4ba532aa172765ce (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
/*
module owner: Ronny Wichers Schreur
*/
definition module convertDynamics
import syntax , checksupport
from partition import ::Component
:: TypeCodeVariableInfo
:: DynamicValueAliasInfo
convertDynamicPatternsIntoUnifyAppls :: !{# CommonDefs} !Int {#DclModule} !IclModule [String] !Int !Int
!*{!Component} !*{#FunDef} !*PredefinedSymbols !*VarHeap !*TypeHeaps !*ExpressionHeap !(Optional *File)
-> (!*{#{#CheckedTypeDef}},
!*{!Component},!*{#FunDef},!*PredefinedSymbols,!*VarHeap,!*TypeHeaps,!*ExpressionHeap,!(Optional *File))
|
