blob: b44426d01bbd0be3e1a9b2668aee767d4f90f844 (
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 trans 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))
|
