SaffronATDef.mesa
Copyright Ó 1987 by Xerox Corporation. All rights reserved.
Generated by BJackson.pa at April 27, 1987 10:51:05 pm PDT
using ThreeCasabaFour [1.1] of April 14, 1987 6:34:07 pm PDT
DIRECTORY
SaffronTreeBucketDef,
SaffronTreeDeclsDef;
SaffronATDef: CEDAR DEFINITIONS =
BEGIN
OPEN SaffronTreeBucketDef, SaffronTreeDeclsDef;
Top
TopNode: TYPE = REF TopNodeBody;
TopNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: TopNodeProcs,
data: REF ANY];
TopNodeProcs: TYPE = REF TopNodeProcsBody;
TopNodeProcsBody: TYPE = RECORD[
foo: fooProcType,
DoTop: DoTopProcType];
ModuleP
ModulePNode: TYPE = REF ModulePNodeBody;
ModulePNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: ModulePNodeProcs,
data: REF ANY];
ModulePNodeProcs: TYPE = REF ModulePNodeProcsBody;
ModulePNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Directory
DirectoryNode: TYPE = REF DirectoryNodeBody;
DirectoryNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: DirectoryNodeProcs,
data: REF ANY];
DirectoryNodeProcs: TYPE = REF DirectoryNodeProcsBody;
DirectoryNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
IncludeItem
IncludeItemNode: TYPE = REF IncludeItemNodeBody;
IncludeItemNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: IncludeItemNodeProcs,
data: REF ANY];
IncludeItemNodeProcs: TYPE = REF IncludeItemNodeProcsBody;
IncludeItemNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Using
UsingNode: TYPE = REF UsingNodeBody;
UsingNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: UsingNodeProcs,
data: REF ANY];
UsingNodeProcs: TYPE = REF UsingNodeProcsBody;
UsingNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
DefBody
DefBodyNode: TYPE = REF DefBodyNodeBody;
DefBodyNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: DefBodyNodeProcs,
data: REF ANY];
DefBodyNodeProcs: TYPE = REF DefBodyNodeProcsBody;
DefBodyNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
DefHead
DefHeadNode: TYPE = REF DefHeadNodeBody;
DefHeadNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: DefHeadNodeProcs,
data: REF ANY];
DefHeadNodeProcs: TYPE = REF DefHeadNodeProcsBody;
DefHeadNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Cedar
CedarNode: TYPE = REF CedarNodeBody;
CedarNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: CedarNodeProcs,
data: REF ANY];
CedarNodeProcs: TYPE = REF CedarNodeProcsBody;
CedarNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
ProgHead
ProgHeadNode: TYPE = REF ProgHeadNodeBody;
ProgHeadNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: ProgHeadNodeProcs,
data: REF ANY];
ProgHeadNodeProcs: TYPE = REF ProgHeadNodeProcsBody;
ProgHeadNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Class
ClassNode: TYPE = REF ClassNodeBody;
ClassNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: ClassNodeProcs,
data: REF ANY];
ClassNodeProcs: TYPE = REF ClassNodeProcsBody;
ClassNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Interface
InterfaceNode: TYPE = REF InterfaceNodeBody;
InterfaceNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: InterfaceNodeProcs,
data: REF ANY];
InterfaceNodeProcs: TYPE = REF InterfaceNodeProcsBody;
InterfaceNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
ModuleList
ModuleListNode: TYPE = REF ModuleListNodeBody;
ModuleListNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: ModuleListNodeProcs,
data: REF ANY];
ModuleListNodeProcs: TYPE = REF ModuleListNodeProcsBody;
ModuleListNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
ModuleItem
ModuleItemNode: TYPE = REF ModuleItemNodeBody;
ModuleItemNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: ModuleItemNodeProcs,
data: REF ANY];
ModuleItemNodeProcs: TYPE = REF ModuleItemNodeProcsBody;
ModuleItemNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Lambda
LambdaNode: TYPE = REF LambdaNodeBody;
LambdaNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: LambdaNodeProcs,
data: REF ANY];
LambdaNodeProcs: TYPE = REF LambdaNodeProcsBody;
LambdaNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Locks
LocksNode: TYPE = REF LocksNodeBody;
LocksNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: LocksNodeProcs,
data: REF ANY];
LocksNodeProcs: TYPE = REF LocksNodeProcsBody;
LocksNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Shares
SharesNode: TYPE = REF SharesNodeBody;
SharesNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: SharesNodeProcs,
data: REF ANY];
SharesNodeProcs: TYPE = REF SharesNodeProcsBody;
SharesNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Entry
EntryNode: TYPE = REF EntryNodeBody;
EntryNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: EntryNodeProcs,
data: REF ANY];
EntryNodeProcs: TYPE = REF EntryNodeProcsBody;
EntryNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Inline
InlineNode: TYPE = REF InlineNodeBody;
InlineNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: InlineNodeProcs,
data: REF ANY];
InlineNodeProcs: TYPE = REF InlineNodeProcsBody;
InlineNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
OptSize
OptSizeNode: TYPE = REF OptSizeNodeBody;
OptSizeNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: OptSizeNodeProcs,
data: REF ANY];
OptSizeNodeProcs: TYPE = REF OptSizeNodeProcsBody;
OptSizeNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
OptType
OptTypeNode: TYPE = REF OptTypeNodeBody;
OptTypeNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: OptTypeNodeProcs,
data: REF ANY];
OptTypeNodeProcs: TYPE = REF OptTypeNodeProcsBody;
OptTypeNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
BindList
BindListNode: TYPE = REF BindListNodeBody;
BindListNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: BindListNodeProcs,
data: REF ANY];
BindListNodeProcs: TYPE = REF BindListNodeProcsBody;
BindListNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Uncounted
UncountedNode: TYPE = REF UncountedNodeBody;
UncountedNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: UncountedNodeProcs,
data: REF ANY];
UncountedNodeProcs: TYPE = REF UncountedNodeProcsBody;
UncountedNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
MachineDependent
MachineDependentNode: TYPE = REF MachineDependentNodeBody;
MachineDependentNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: MachineDependentNodeProcs,
data: REF ANY];
MachineDependentNodeProcs: TYPE = REF MachineDependentNodeProcsBody;
MachineDependentNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Monitored
MonitoredNode: TYPE = REF MonitoredNodeBody;
MonitoredNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: MonitoredNodeProcs,
data: REF ANY];
MonitoredNodeProcs: TYPE = REF MonitoredNodeProcsBody;
MonitoredNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
ElementList
ElementListNode: TYPE = REF ElementListNodeBody;
ElementListNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: ElementListNodeProcs,
data: REF ANY];
ElementListNodeProcs: TYPE = REF ElementListNodeProcsBody;
ElementListNodeProcsBody: TYPE = RECORD[
foo: fooProcType,
MakeEltList: MakeEltListProcType];
Element
ElementNode: TYPE = REF ElementNodeBody;
ElementNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: ElementNodeProcs,
data: REF ANY];
ElementNodeProcs: TYPE = REF ElementNodeProcsBody;
ElementNodeProcsBody: TYPE = RECORD[
foo: fooProcType,
InsertElement: InsertElementProcType];
RecList
RecListNode: TYPE = REF RecListNodeBody;
RecListNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: RecListNodeProcs,
data: REF ANY];
RecListNodeProcs: TYPE = REF RecListNodeProcsBody;
RecListNodeProcsBody: TYPE = RECORD[
foo: fooProcType,
MakeFieldList: MakeFieldListProcType];
PairList
PairListNode: TYPE = REF PairListNodeBody;
PairListNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: PairListNodeProcs,
data: REF ANY];
PairListNodeProcs: TYPE = REF PairListNodeProcsBody;
PairListNodeProcsBody: TYPE = RECORD[
foo: fooProcType,
MakeNamedFieldList: MakeNamedFieldListProcType];
PairItem
PairItemNode: TYPE = REF PairItemNodeBody;
PairItemNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: PairItemNodeProcs,
data: REF ANY];
PairItemNodeProcs: TYPE = REF PairItemNodeProcsBody;
PairItemNodeProcsBody: TYPE = RECORD[
foo: fooProcType,
MakeNamedFieldList: MakeNamedFieldListProcType];
TypeList
TypeListNode: TYPE = REF TypeListNodeBody;
TypeListNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: TypeListNodeProcs,
data: REF ANY];
TypeListNodeProcs: TYPE = REF TypeListNodeProcsBody;
TypeListNodeProcsBody: TYPE = RECORD[
foo: fooProcType,
MakeUnnamedFieldList: MakeUnnamedFieldListProcType];
TypeItem
TypeItemNode: TYPE = REF TypeItemNodeBody;
TypeItemNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: TypeItemNodeProcs,
data: REF ANY];
TypeItemNodeProcs: TYPE = REF TypeItemNodeProcsBody;
TypeItemNodeProcsBody: TYPE = RECORD[
foo: fooProcType,
MakeUnnamedFieldList: MakeUnnamedFieldListProcType];
IdentList
IdentListNode: TYPE = REF IdentListNodeBody;
IdentListNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: IdentListNodeProcs,
data: REF ANY];
IdentListNodeProcs: TYPE = REF IdentListNodeProcsBody;
IdentListNodeProcsBody: TYPE = RECORD[
foo: fooProcType,
ProcessDecls: ProcessDeclsProcType,
InsertDescriptor: InsertDescriptorProcType,
ReplaceDescriptor: ReplaceDescriptorProcType,
AddToNamedFieldList: AddToNamedFieldListProcType];
Tag
TagNode: TYPE = REF TagNodeBody;
TagNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: TagNodeProcs,
data: REF ANY];
TagNodeProcs: TYPE = REF TagNodeProcsBody;
TagNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
TagType
TagTypeNode: TYPE = REF TagTypeNodeBody;
TagTypeNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: TagTypeNodeProcs,
data: REF ANY];
TagTypeNodeProcs: TYPE = REF TagTypeNodeProcsBody;
TagTypeNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
VariantList
VariantListNode: TYPE = REF VariantListNodeBody;
VariantListNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: VariantListNodeProcs,
data: REF ANY];
VariantListNodeProcs: TYPE = REF VariantListNodeProcsBody;
VariantListNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
VariantItem
VariantItemNode: TYPE = REF VariantItemNodeBody;
VariantItemNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: VariantItemNodeProcs,
data: REF ANY];
VariantItemNodeProcs: TYPE = REF VariantItemNodeProcsBody;
VariantItemNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Packed
PackedNode: TYPE = REF PackedNodeBody;
PackedNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: PackedNodeProcs,
data: REF ANY];
PackedNodeProcs: TYPE = REF PackedNodeProcsBody;
PackedNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Ordered
OrderedNode: TYPE = REF OrderedNodeBody;
OrderedNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: OrderedNodeProcs,
data: REF ANY];
OrderedNodeProcs: TYPE = REF OrderedNodeProcsBody;
OrderedNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Base
BaseNode: TYPE = REF BaseNodeBody;
BaseNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: BaseNodeProcs,
data: REF ANY];
BaseNodeProcs: TYPE = REF BaseNodeProcsBody;
BaseNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
PointerType
PointerTypeNode: TYPE = REF PointerTypeNodeBody;
PointerTypeNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: PointerTypeNodeProcs,
data: REF ANY];
PointerTypeNodeProcs: TYPE = REF PointerTypeNodeProcsBody;
PointerTypeNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
OptInterval
OptIntervalNode: TYPE = REF OptIntervalNodeBody;
OptIntervalNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: OptIntervalNodeProcs,
data: REF ANY];
OptIntervalNodeProcs: TYPE = REF OptIntervalNodeProcsBody;
OptIntervalNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
DecList
DecListNode: TYPE = REF DecListNodeBody;
DecListNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: DecListNodeProcs,
data: REF ANY];
DecListNodeProcs: TYPE = REF DecListNodeProcsBody;
DecListNodeProcsBody: TYPE = RECORD[
foo: fooProcType,
PreprocessDecls: PreprocessDeclsProcType,
ProcessDecls: ProcessDeclsProcType];
Declaration
DeclarationNode: TYPE = REF DeclarationNodeBody;
DeclarationNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: DeclarationNodeProcs,
data: REF ANY];
DeclarationNodeProcs: TYPE = REF DeclarationNodeProcsBody;
DeclarationNodeProcsBody: TYPE = RECORD[
foo: fooProcType,
PreprocessDecls: PreprocessDeclsProcType,
ProcessDecls: ProcessDeclsProcType,
ProcessOneDecl: ProcessOneDeclProcType];
OptDecList
OptDecListNode: TYPE = REF OptDecListNodeBody;
OptDecListNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: OptDecListNodeProcs,
data: REF ANY];
OptDecListNodeProcs: TYPE = REF OptDecListNodeProcsBody;
OptDecListNodeProcsBody: TYPE = RECORD[
foo: fooProcType,
PreprocessDecls: PreprocessDeclsProcType,
ProcessDecls: ProcessDeclsProcType];
DescList
DescListNode: TYPE = REF DescListNodeBody;
DescListNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: DescListNodeProcs,
data: REF ANY];
DescListNodeProcs: TYPE = REF DescListNodeProcsBody;
DescListNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Initialization
InitializationNode: TYPE = REF InitializationNodeBody;
InitializationNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: InitializationNodeProcs,
data: REF ANY];
InitializationNodeProcs: TYPE = REF InitializationNodeProcsBody;
InitializationNodeProcsBody: TYPE = RECORD[
foo: fooProcType,
MakeValue: MakeValueProcType];
InitialValue
InitialValueNode: TYPE = REF InitialValueNodeBody;
InitialValueNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: InitialValueNodeProcs,
data: REF ANY];
InitialValueNodeProcs: TYPE = REF InitialValueNodeProcsBody;
InitialValueNodeProcsBody: TYPE = RECORD[
foo: fooProcType,
MakeValue: MakeValueProcType];
Scope
ScopeNode: TYPE = REF ScopeNodeBody;
ScopeNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: ScopeNodeProcs,
data: REF ANY];
ScopeNodeProcs: TYPE = REF ScopeNodeProcsBody;
ScopeNodeProcsBody: TYPE = RECORD[
foo: fooProcType,
NewScope: NewScopeProcType];
Ident
IdentNode: TYPE = REF IdentNodeBody;
IdentNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: IdentNodeProcs,
data: REF ANY];
IdentNodeProcs: TYPE = REF IdentNodeProcsBody;
IdentNodeProcsBody: TYPE = RECORD[
foo: fooProcType,
InsertDescriptor: InsertDescriptorProcType,
ReplaceDescriptor: ReplaceDescriptorProcType,
AddToNamedFieldList: AddToNamedFieldListProcType,
ProcessDecls: ProcessDeclsProcType];
OptArgs
OptArgsNode: TYPE = REF OptArgsNodeBody;
OptArgsNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: OptArgsNodeProcs,
data: REF ANY];
OptArgsNodeProcs: TYPE = REF OptArgsNodeProcsBody;
OptArgsNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
BindItem
BindItemNode: TYPE = REF BindItemNodeBody;
BindItemNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: BindItemNodeProcs,
data: REF ANY];
BindItemNodeProcs: TYPE = REF BindItemNodeProcsBody;
BindItemNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
KeyList
KeyListNode: TYPE = REF KeyListNodeBody;
KeyListNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: KeyListNodeProcs,
data: REF ANY];
KeyListNodeProcs: TYPE = REF KeyListNodeProcsBody;
KeyListNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
KeyItem
KeyItemNode: TYPE = REF KeyItemNodeBody;
KeyItemNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: KeyItemNodeProcs,
data: REF ANY];
KeyItemNodeProcs: TYPE = REF KeyItemNodeProcsBody;
KeyItemNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Relation
RelationNode: TYPE = REF RelationNodeBody;
RelationNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: RelationNodeProcs,
data: REF ANY];
RelationNodeProcs: TYPE = REF RelationNodeProcsBody;
RelationNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Access
AccessNode: TYPE = REF AccessNodeBody;
AccessNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: AccessNodeProcs,
data: REF ANY];
AccessNodeProcs: TYPE = REF AccessNodeProcsBody;
AccessNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Bounds
BoundsNode: TYPE = REF BoundsNodeBody;
BoundsNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: BoundsNodeProcs,
data: REF ANY];
BoundsNodeProcs: TYPE = REF BoundsNodeProcsBody;
BoundsNodeProcsBody: TYPE = RECORD[
foo: fooProcType,
MakeTypeBounds: MakeTypeBoundsProcType];
Default
DefaultNode: TYPE = REF DefaultNodeBody;
DefaultNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: DefaultNodeProcs,
data: REF ANY];
DefaultNodeProcs: TYPE = REF DefaultNodeProcsBody;
DefaultNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Position
PositionNode: TYPE = REF PositionNodeBody;
PositionNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: PositionNodeProcs,
data: REF ANY];
PositionNodeProcs: TYPE = REF PositionNodeProcsBody;
PositionNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
OptBits
OptBitsNode: TYPE = REF OptBitsNodeBody;
OptBitsNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: OptBitsNodeProcs,
data: REF ANY];
OptBitsNodeProcs: TYPE = REF OptBitsNodeProcsBody;
OptBitsNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Relop
RelopNode: TYPE = REF RelopNodeBody;
RelopNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: RelopNodeProcs,
data: REF ANY];
RelopNodeProcs: TYPE = REF RelopNodeProcsBody;
RelopNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
RelationTail
RelationTailNode: TYPE = REF RelationTailNodeBody;
RelationTailNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: RelationTailNodeProcs,
data: REF ANY];
RelationTailNodeProcs: TYPE = REF RelationTailNodeProcsBody;
RelationTailNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
ExpList
ExpListNode: TYPE = REF ExpListNodeBody;
ExpListNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: ExpListNodeProcs,
data: REF ANY];
ExpListNodeProcs: TYPE = REF ExpListNodeProcsBody;
ExpListNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Exp
ExpNode: TYPE = REF ExpNodeBody;
ExpNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: ExpNodeProcs,
data: REF ANY];
ExpNodeProcs: TYPE = REF ExpNodeProcsBody;
ExpNodeProcsBody: TYPE = RECORD[
foo: fooProcType,
MakeValue: MakeValueProcType];
OptExp
OptExpNode: TYPE = REF OptExpNodeBody;
OptExpNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: OptExpNodeProcs,
data: REF ANY];
OptExpNodeProcs: TYPE = REF OptExpNodeProcsBody;
OptExpNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
OrderList
OrderListNode: TYPE = REF OrderListNodeBody;
OrderListNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: OrderListNodeProcs,
data: REF ANY];
OrderListNodeProcs: TYPE = REF OrderListNodeProcsBody;
OrderListNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
MultOp
MultOpNode: TYPE = REF MultOpNodeBody;
MultOpNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: MultOpNodeProcs,
data: REF ANY];
MultOpNodeProcs: TYPE = REF MultOpNodeProcsBody;
MultOpNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
AddOp
AddOpNode: TYPE = REF AddOpNodeBody;
AddOpNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: AddOpNodeProcs,
data: REF ANY];
AddOpNodeProcs: TYPE = REF AddOpNodeProcsBody;
AddOpNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
ReadOnly
ReadOnlyNode: TYPE = REF ReadOnlyNodeBody;
ReadOnlyNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: ReadOnlyNodeProcs,
data: REF ANY];
ReadOnlyNodeProcs: TYPE = REF ReadOnlyNodeProcsBody;
ReadOnlyNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
CatchAny
CatchAnyNode: TYPE = REF CatchAnyNodeBody;
CatchAnyNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: CatchAnyNodeProcs,
data: REF ANY];
CatchAnyNodeProcs: TYPE = REF CatchAnyNodeProcsBody;
CatchAnyNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Interval
IntervalNode: TYPE = REF IntervalNodeBody;
IntervalNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: IntervalNodeProcs,
data: REF ANY];
IntervalNodeProcs: TYPE = REF IntervalNodeProcsBody;
IntervalNodeProcsBody: TYPE = RECORD[
foo: fooProcType,
MakeTypeInterval: MakeTypeIntervalProcType];
SelectExpList
SelectExpListNode: TYPE = REF SelectExpListNodeBody;
SelectExpListNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: SelectExpListNodeProcs,
data: REF ANY];
SelectExpListNodeProcs: TYPE = REF SelectExpListNodeProcsBody;
SelectExpListNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
SelectExpItem
SelectExpItemNode: TYPE = REF SelectExpItemNodeBody;
SelectExpItemNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: SelectExpItemNodeProcs,
data: REF ANY];
SelectExpItemNodeProcs: TYPE = REF SelectExpItemNodeProcsBody;
SelectExpItemNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
TypeId
TypeIdNode: TYPE = REF TypeIdNodeBody;
TypeIdNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: TypeIdNodeProcs,
data: REF ANY];
TypeIdNodeProcs: TYPE = REF TypeIdNodeProcsBody;
TypeIdNodeProcsBody: TYPE = RECORD[
foo: fooProcType,
MakeType: MakeTypeProcType];
TypeApply
TypeApplyNode: TYPE = REF TypeApplyNodeBody;
TypeApplyNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: TypeApplyNodeProcs,
data: REF ANY];
TypeApplyNodeProcs: TYPE = REF TypeApplyNodeProcsBody;
TypeApplyNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Range
RangeNode: TYPE = REF RangeNodeBody;
RangeNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: RangeNodeProcs,
data: REF ANY];
RangeNodeProcs: TYPE = REF RangeNodeProcsBody;
RangeNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
PrefixOp
PrefixOpNode: TYPE = REF PrefixOpNodeBody;
PrefixOpNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: PrefixOpNodeProcs,
data: REF ANY];
PrefixOpNodeProcs: TYPE = REF PrefixOpNodeProcsBody;
PrefixOpNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
New
NewNode: TYPE = REF NewNodeBody;
NewNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: NewNodeProcs,
data: REF ANY];
NewNodeProcs: TYPE = REF NewNodeProcsBody;
NewNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Free
FreeNode: TYPE = REF FreeNodeBody;
FreeNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: FreeNodeProcs,
data: REF ANY];
FreeNodeProcs: TYPE = REF FreeNodeProcsBody;
FreeNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Cons
ConsNode: TYPE = REF ConsNodeBody;
ConsNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: ConsNodeProcs,
data: REF ANY];
ConsNodeProcs: TYPE = REF ConsNodeProcsBody;
ConsNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
ListCons
ListConsNode: TYPE = REF ListConsNodeBody;
ListConsNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: ListConsNodeProcs,
data: REF ANY];
ListConsNodeProcs: TYPE = REF ListConsNodeProcsBody;
ListConsNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Safe
SafeNode: TYPE = REF SafeNodeBody;
SafeNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: SafeNodeProcs,
data: REF ANY];
SafeNodeProcs: TYPE = REF SafeNodeProcsBody;
SafeNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
TransferMode
TransferModeNode: TYPE = REF TransferModeNodeBody;
TransferModeNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: TransferModeNodeProcs,
data: REF ANY];
TransferModeNodeProcs: TYPE = REF TransferModeNodeProcsBody;
TransferModeNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
ExitItem
ExitItemNode: TYPE = REF ExitItemNodeBody;
ExitItemNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: ExitItemNodeProcs,
data: REF ANY];
ExitItemNodeProcs: TYPE = REF ExitItemNodeProcsBody;
ExitItemNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
SelectHead
SelectHeadNode: TYPE = REF SelectHeadNodeBody;
SelectHeadNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: SelectHeadNodeProcs,
data: REF ANY];
SelectHeadNodeProcs: TYPE = REF SelectHeadNodeProcsBody;
SelectHeadNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
SelectStmtList
SelectStmtListNode: TYPE = REF SelectStmtListNodeBody;
SelectStmtListNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: SelectStmtListNodeProcs,
data: REF ANY];
SelectStmtListNodeProcs: TYPE = REF SelectStmtListNodeProcsBody;
SelectStmtListNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
SelectStmtItem
SelectStmtItemNode: TYPE = REF SelectStmtItemNodeBody;
SelectStmtItemNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: SelectStmtItemNodeProcs,
data: REF ANY];
SelectStmtItemNodeProcs: TYPE = REF SelectStmtItemNodeProcsBody;
SelectStmtItemNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
ForClause
ForClauseNode: TYPE = REF ForClauseNodeBody;
ForClauseNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: ForClauseNodeProcs,
data: REF ANY];
ForClauseNodeProcs: TYPE = REF ForClauseNodeProcsBody;
ForClauseNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
ControlId
ControlIdNode: TYPE = REF ControlIdNodeBody;
ControlIdNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: ControlIdNodeProcs,
data: REF ANY];
ControlIdNodeProcs: TYPE = REF ControlIdNodeProcsBody;
ControlIdNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Decreasing
DecreasingNode: TYPE = REF DecreasingNodeBody;
DecreasingNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: DecreasingNodeProcs,
data: REF ANY];
DecreasingNodeProcs: TYPE = REF DecreasingNodeProcsBody;
DecreasingNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Transfer
TransferNode: TYPE = REF TransferNodeBody;
TransferNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: TransferNodeProcs,
data: REF ANY];
TransferNodeProcs: TYPE = REF TransferNodeProcsBody;
TransferNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
SelectLabel
SelectLabelNode: TYPE = REF SelectLabelNodeBody;
SelectLabelNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: SelectLabelNodeProcs,
data: REF ANY];
SelectLabelNodeProcs: TYPE = REF SelectLabelNodeProcsBody;
SelectLabelNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
SelectTestList
SelectTestListNode: TYPE = REF SelectTestListNodeBody;
SelectTestListNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: SelectTestListNodeProcs,
data: REF ANY];
SelectTestListNodeProcs: TYPE = REF SelectTestListNodeProcsBody;
SelectTestListNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Block
BlockNode: TYPE = REF BlockNodeBody;
BlockNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: BlockNodeProcs,
data: REF ANY];
BlockNodeProcs: TYPE = REF BlockNodeProcsBody;
BlockNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Checked
CheckedNode: TYPE = REF CheckedNodeBody;
CheckedNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: CheckedNodeProcs,
data: REF ANY];
CheckedNodeProcs: TYPE = REF CheckedNodeProcsBody;
CheckedNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
CodeList
CodeListNode: TYPE = REF CodeListNodeBody;
CodeListNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: CodeListNodeProcs,
data: REF ANY];
CodeListNodeProcs: TYPE = REF CodeListNodeProcsBody;
CodeListNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Statement
StatementNode: TYPE = REF StatementNodeBody;
StatementNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: StatementNodeProcs,
data: REF ANY];
StatementNodeProcs: TYPE = REF StatementNodeProcsBody;
StatementNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
OptStatement
OptStatementNode: TYPE = REF OptStatementNodeBody;
OptStatementNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: OptStatementNodeProcs,
data: REF ANY];
OptStatementNodeProcs: TYPE = REF OptStatementNodeProcsBody;
OptStatementNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
StatementList
StatementListNode: TYPE = REF StatementListNodeBody;
StatementListNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: StatementListNodeProcs,
data: REF ANY];
StatementListNodeProcs: TYPE = REF StatementListNodeProcsBody;
StatementListNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
DoTest
DoTestNode: TYPE = REF DoTestNodeBody;
DoTestNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: DoTestNodeProcs,
data: REF ANY];
DoTestNodeProcs: TYPE = REF DoTestNodeProcsBody;
DoTestNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
DoExit
DoExitNode: TYPE = REF DoExitNodeBody;
DoExitNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: DoExitNodeProcs,
data: REF ANY];
DoExitNodeProcs: TYPE = REF DoExitNodeProcsBody;
DoExitNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
TransferOp
TransferOpNode: TYPE = REF TransferOpNodeBody;
TransferOpNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: TransferOpNodeProcs,
data: REF ANY];
TransferOpNodeProcs: TYPE = REF TransferOpNodeProcsBody;
TransferOpNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Catch
CatchNode: TYPE = REF CatchNodeBody;
CatchNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: CatchNodeProcs,
data: REF ANY];
CatchNodeProcs: TYPE = REF CatchNodeProcsBody;
CatchNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
CatchCase
CatchCaseNode: TYPE = REF CatchCaseNodeBody;
CatchCaseNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: CatchCaseNodeProcs,
data: REF ANY];
CatchCaseNodeProcs: TYPE = REF CatchCaseNodeProcsBody;
CatchCaseNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
CatchCaseList
CatchCaseListNode: TYPE = REF CatchCaseListNodeBody;
CatchCaseListNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: CatchCaseListNodeProcs,
data: REF ANY];
CatchCaseListNodeProcs: TYPE = REF CatchCaseListNodeProcsBody;
CatchCaseListNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
TypeOp
TypeOpNode: TYPE = REF TypeOpNodeBody;
TypeOpNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: TypeOpNodeProcs,
data: REF ANY];
TypeOpNodeProcs: TYPE = REF TypeOpNodeProcsBody;
TypeOpNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
IdList
IdListNode: TYPE = REF IdListNodeBody;
IdListNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: IdListNodeProcs,
data: REF ANY];
IdListNodeProcs: TYPE = REF IdListNodeProcsBody;
IdListNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Arguments
ArgumentsNode: TYPE = REF ArgumentsNodeBody;
ArgumentsNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: ArgumentsNodeProcs,
data: REF ANY];
ArgumentsNodeProcs: TYPE = REF ArgumentsNodeProcsBody;
ArgumentsNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
ParameterList
ParameterListNode: TYPE = REF ParameterListNodeBody;
ParameterListNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: ParameterListNodeProcs,
data: REF ANY];
ParameterListNodeProcs: TYPE = REF ParameterListNodeProcsBody;
ParameterListNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
TypeExp
TypeExpNode: TYPE = REF TypeExpNodeBody;
TypeExpNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: TypeExpNodeProcs,
data: REF ANY];
TypeExpNodeProcs: TYPE = REF TypeExpNodeProcsBody;
TypeExpNodeProcsBody: TYPE = RECORD[
foo: fooProcType,
MakeType: MakeTypeProcType];
Num
NumNode: TYPE = REF NumNodeBody;
NumNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: NumNodeProcs,
data: REF ANY];
NumNodeProcs: TYPE = REF NumNodeProcsBody;
NumNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Qualifier
QualifierNode: TYPE = REF QualifierNodeBody;
QualifierNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: QualifierNodeProcs,
data: REF ANY];
QualifierNodeProcs: TYPE = REF QualifierNodeProcsBody;
QualifierNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
SignalList
SignalListNode: TYPE = REF SignalListNodeBody;
SignalListNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: SignalListNodeProcs,
data: REF ANY];
SignalListNodeProcs: TYPE = REF SignalListNodeProcsBody;
SignalListNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
ExitList
ExitListNode: TYPE = REF ExitListNodeBody;
ExitListNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: ExitListNodeProcs,
data: REF ANY];
ExitListNodeProcs: TYPE = REF ExitListNodeProcsBody;
ExitListNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Bound
BoundNode: TYPE = REF BoundNodeBody;
BoundNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: BoundNodeProcs,
data: REF ANY];
BoundNodeProcs: TYPE = REF BoundNodeProcsBody;
BoundNodeProcsBody: TYPE = RECORD[
foo: fooProcType,
MakeTypeBound: MakeTypeBoundProcType];
Junk
JunkNode: TYPE = REF JunkNodeBody;
JunkNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: JunkNodeProcs,
data: REF ANY];
JunkNodeProcs: TYPE = REF JunkNodeProcsBody;
JunkNodeProcsBody: TYPE = RECORD[
foo: fooProcType];
Subrange
SubrangeNode: TYPE = REF SubrangeNodeBody;
SubrangeNodeBody: TYPE = RECORD[
position: INT, length: INT,
procs: SubrangeNodeProcs,
data: REF ANY];
SubrangeNodeProcs: TYPE = REF SubrangeNodeProcsBody;
SubrangeNodeProcsBody: TYPE = RECORD[
foo: fooProcType,
MakeType: MakeTypeProcType];
END..