DIRECTORY
CCTypes USING [CCTypeProcs, CreateCedarType, GetGroundType, GetTypeClass, GetIndirectType, PrintTypeBracketed, sia],
CirioTypes USING[CompilerContext, Type],
Definitions,
IO,
Rope,
StructuredStreams;


DefinitionsImpl: CEDAR PROGRAM
IMPORTS CCTypes, IO, Rope, StructuredStreams
EXPORTS Definitions
= BEGIN OPEN CCTypes, Definitions, SS:StructuredStreams;

CC: TYPE = CirioTypes.CompilerContext;
Type: TYPE = CirioTypes.Type;


CreateDefinitionType: PUBLIC PROC [underType: Type, name: Rope.ROPE, cc: CC] RETURNS [Type] = {
dti: DefinitionTypeInfo _ NEW[DefinitionTypeInfoBody _ [underType, name]];
type: Type _ CCTypes.CreateCedarType[$definition, DefinitionTypeCCTypeProcs, IndirectDefinitionTypeCCTypeProcs, cc, dti, underType];
RETURN [type];
};

DefinitionTypeCCTypeProcs: REF CCTypes.CCTypeProcs _ NEW[CCTypes.CCTypeProcs _[
getGroundType: DefinitionCCTypesGetGroundType,
getTypeRepresentation: DefinitionTypeGetTypeRepresentation,
printType: DefinitionCCTypesPrintType]];

IndirectDefinitionTypeCCTypeProcs: REF CCTypes.CCTypeProcs _ NEW[CCTypes.CCTypeProcs _[
getGroundType: IndirectDefinitionCCTypesGetGroundType,
getTypeRepresentation: DefinitionTypeGetTypeRepresentation,
printType: DefinitionCCTypesPrintType]];

DefinitionTypeGetTypeRepresentation: PROC[type: Type, cc: CC, procData: REF ANY] RETURNS[Type]
~ {RETURN[NIL]};

DefinitionCCTypesGetGroundType: PROC [type: Type, cc: CC, procData: REF ANY] RETURNS [Type] = {
info: DefinitionTypeInfo _ NARROW[procData];
IF CCTypes.GetTypeClass[info.underType] = $definition
THEN {
RETURN [GetGroundType[type, cc, info.underType]];
}
ELSE { 
RETURN [info.underType];
};
};

DefinitionCCTypesPrintType: PROC [to: IO.STREAM, type: Type, printDepth: INT, printWidth: INT, cc: CC, procData: REF ANY] = {
info: DefinitionTypeInfo _ NARROW[procData];
to.PutRope[info.name];
IF printDepth <= 1 OR IsBaseType[info.name] THEN RETURN;
to.PutRope[": TYPE"];
SS.Bp[to, lookLeft, CCTypes.sia, " "];
to.PutRope["= "];
CCTypes.PrintTypeBracketed[to, info.underType, printDepth-1, printWidth, cc];
RETURN};

IndirectDefinitionCCTypesGetGroundType: PROC [type: Type, cc: CC, procData: REF ANY] RETURNS [Type] = {
info: DefinitionTypeInfo _ NARROW[procData];
indirectType: Type _ GetIndirectType[info.underType];
IF CCTypes.GetTypeClass[indirectType] = $definition
THEN {
RETURN [GetGroundType[type, cc, indirectType]];
}
ELSE { 
RETURN [indirectType];
};
};

IsBaseType: PROC [typeName: Rope.ROPE] RETURNS [BOOLEAN] = {
IF Rope.Equal[typeName, "INT"] OR 
Rope.Equal[typeName, "INT16"] OR 
Rope.Equal[typeName, "CARDINAL"] OR 
Rope.Equal[typeName, "CARD"] OR 
Rope.Equal[typeName, "REAL"] OR 
Rope.Equal[typeName, "CHAR"] OR 
Rope.Equal[typeName, "BOOLEAN"]
THEN {
RETURN [TRUE];
}
ELSE {
RETURN [FALSE];
};
};


END.
  R  
DefinitionsImpl.mesa
Copyright س 1990 by Xerox Corporation.  All rights reserved.
Theimer, May 17, 1989 3:56:05 pm PDT
Changed by Theimer on May 20, 1989 6:42:37 pm PDT
Last changed by Theimer on May 31, 1989 3:54:36 pm PDT
Spreitze, January 9, 1992 10:02 am PST

Type operations.
Node operations.  There are no definition nodes.

‌تٹ  •NewlineDelimiter
™ ڑœ™J™<J™$Icode™1K™6K™&—J™ ڑدk	ک	Kڑœ‌œgکtJڑœ‌œک(JکJڑ‌œکKڑœکKک—Kک Kک ڑذlnœ‌کKڑ‌œ
‌œک,Kڑ‌œک—ڑœ‌œ‌œ‌œک8Kک Jڑ‌œ‌œک&Jڑœ‌œکJک Jک J™Kک ڑ
دnœ‌œ‌œ‌œ‌œک_Kڑœ‌œ$‌œکJKڑœ„ک„Kڑ‌œکKک—Kک ڑدb‌ œ‌œکOKڑœ.ک.Kڑœ;ک;Kڑœ(ک(—Kک ڑ #‌ œ‌œکWKڑœ6ک6Kڑœ;ک;Kڑœ(ک(Kک —ڑں#œ‌œ‌œ‌œ‌œ‌œک^Kڑœ‌œ‌œک—Kک ڑںœ‌œ‌œ‌œ‌œ‌œک_Kڑœ‌	œک,ڑ‌œ3ک5ڑ‌œکKڑ‌œ+ک1Kک—ڑ‌œکKڑ‌œکKڑœک——Kک—Kک ڑذbnœ‌œ‌œ‌œ‌œ‌œ‌œ‌œ‌œک}Kڑœ‌	œک,Kڑœ‌کKڑ‌œ‌œ‌œ‌œک8KکKڑ‌œ$ک&KکKڑœMکMKڑ‌œکKک —ڑں&œ‌œ‌œ‌œ‌œ‌œکgKڑœ‌	œک,Kڑœ5ک5ڑ‌œ1ک3ڑ‌œکKڑ‌œ)ک/Kک—ڑ‌œکKڑ‌œکKڑœک——Kک—Kک ڑ
ں
œ‌œ‌œ‌œ‌œک<ڑ‌œ‌œ ‌œ#‌œ‌œ‌œ‌œ!کىڑ‌œکKڑ‌œ‌œکKک—ڑ‌œکKڑ‌œ‌œکKڑœک——Kک—Kک Kک K™0K™ —Kڑ‌œک— …—    
ذ  ¬  