TypeGraph
TypeGraph: CedarType From CedarBaseType;
PrintTypeGraph:
CedarFunction [ TypeGraph, STREAM ]
Returns [ BOOLEAN ]
From CedarBaseType;
CreateTypeGraph:
CedarFunction [ ]
Returns [ TypeGraph ]
From CedarBaseType;
XTypeGraph:
CedarFunction [ TypeGraph.a ]
Returns [ TypeGraph.b ]
DamagedReps [ TypeGraph.a ]
From CedarBaseType;
AddType:
CedarFunction [ TypeGraph.a, TypeNode ]
Returns [ TypeGraph.b, TypeIndex ]
DamagedReps [ TypeGraph.a ]
From CedarBaseType;
SetType:
CedarFunction [ TypeGraph.a, TypeNode, TypeIndex ]
Returns [ TypeGraph.b ]
DamagedReps [ TypeGraph.a ]
From CedarBaseType;
RawFetchType:
CedarFunction [ TypeGraph, TypeIndex ]
Returns [ TypeNode ]
From CedarBaseType;
NewPaint:
CedarFunction [ TypeGraph.a ]
Returns [ TypeGraph.b, Paint ]
DamagedReps [ TypeGraph.a ]
From CedarBaseType;
FetchType:
CedarFunction [ TypeGraph.a, TypeIndex, LocalContext.a, RibContext ]
Returns [ TypeNode, LocalContext.b, TypeGraph.b ]
DamagedReps [ LocalContext.a, TypeGraph.a ]
From CedarBaseTypeAux;
AddOrSetType:
CedarFunction [ TypeGraph.a, TypeNode, TypeIndex.opt ]
Returns [ TypeGraph.b, TypeIndex ]
DamagedReps [ TypeGraph.a ]
From CedarBaseTypeAux;
FetchAllSizes:
CedarFunction [ TypeGraph.a, LocalContext.a, RibContext ]
Returns [ LocalContext.b, TypeGraph.b ]
DamagedReps [ LocalContext.a, TypeGraph.a ]
From CedarBaseTypeAux;
TypeIndex
TypeIndex: CedarType From CedarBaseType;
PrintTypeIndex:
CedarFunction [ TypeIndex ]
Returns [ BOOLEAN ]
From CedarBaseType;
XTypeIndex:
CedarFunction [ TypeIndex.a ]
Returns [ TypeIndex.b ]
From CedarBaseType;
UndefinedTypeIndex:
CedarFunction [ ]
Returns [ TypeIndex ]
From CedarBaseType;
IsUndefinedTypeIndex:
CedarFunction [ TypeIndex ]
Returns [ BOOLEAN ]
From CedarBaseType;
TypeNode
TypeNode: CedarType From CedarBaseType;
PrintTypeNode:
CedarFunction [ TypeNode ]
Returns [ BOOLEAN ]
From CedarBaseType;
GetPaint:
CedarFunction [ TypeNode ]
Returns [ Paint ]
From CedarBaseType;
GetTypeBounds:
CedarFunction [ TypeNode ]
Returns [ TypeBounds ]
From CedarBaseType;
BuildSuspendedType:
CedarFunction [ Tree ]
Returns [ TypeNode ]
From CedarBaseType;
IsSuspendedType:
CedarFunction [ TypeNode ]
Returns [ BOOLEAN ]
From CedarBaseType;
GetTypeDecl:
CedarFunction [ TypeNode ]
Returns [ Tree ]
From CedarBaseType;
BuildInaccessibleType:
CedarFunction [ ]
Returns [ TypeNode ]
From CedarBaseType;
IsInaccessibleType:
CedarFunction [ TypeNode ]
Returns [ BOOLEAN ]
From CedarBaseType;
BuildUndefinedType:
CedarFunction [ ]
Returns [ TypeNode ]
From CedarBaseType;
BuildRecordType:
CedarFunction [ FieldList ]
Returns [ TypeNode ]
From CedarBaseType;
BuildEnumType:
CedarFunction [ Paint, EltList ]
Returns [ TypeNode ]
From CedarBaseType;
IsEnumType:
CedarFunction [ TypeNode ]
Returns [ BOOLEAN ]
From CedarBaseType;
EnumTypeEltList:
CedarFunction [ TypeNode ]
Returns [ EltList ]
From CedarBaseType;
BuildSubrangeType:
CedarFunction [ TypeNode.a, TypeBounds ]
Returns [ TypeNode.b ]
From CedarBaseType;
BuildRefType:
CedarFunction [ TypeIndex ]
Returns [ TypeNode ]
From CedarBaseType;
IsRefType:
CedarFunction [ TypeNode ]
Returns [ BOOLEAN ]
From CedarBaseType;
GetReferentType:
CedarFunction [ TypeNode ]
Returns [ TypeIndex ]
From CedarBaseType;
TypeBounds
TypeBounds: CedarType From CedarBaseType;
BuildUndefinedTypeBounds:
CedarFunction [ ]
Returns [ TypeBounds ]
From CedarBaseType;
IsUndefinedTypeBounds:
CedarFunction [ TypeBounds ]
Returns [ BOOLEAN ]
From CedarBaseType;
BuildTypeBounds:
CedarFunction [ OrdinalValue.a, OrdinalValue.b, BOOLEAN.a, BOOLEAN.b ]
Returns [ TypeBounds ]
From CedarBaseType;
FieldList
FieldList: CedarType From CedarBaseType;
BuildNullFieldList:
CedarFunction [ ]
Returns [ FieldList ]
From CedarBaseType;
BuildNamedFieldList:
CedarFunction [ NamedFieldList ]
Returns [ FieldList ]
SharedReps [ NamedFieldList, FieldList ]
From CedarBaseType;
BuildUnnamedFieldList:
CedarFunction [ UnnamedFieldList ]
Returns [ FieldList ]
SharedReps [ UnnamedFieldList, FieldList ]
From CedarBaseType;
NamedFieldList
NamedFieldList: CedarType From CedarBaseType;
CreateNamedFieldList:
CedarFunction [ ]
Returns [ NamedFieldList ]
From CedarBaseType;
AddNamedField:
CedarFunction [ NamedFieldList.a, id, FieldDescriptor ]
Returns [ NamedFieldList.b, BOOLEAN ]
DamagedReps [ NamedFieldList.a ]
From CedarBaseType;
UnnamedFieldList
UnnamedFieldList: CedarType From CedarBaseType;
CreateUnnamedFieldList:
CedarFunction [ ]
Returns [ UnnamedFieldList ]
From CedarBaseType;
AddUnnamedField:
CedarFunction [ UnnamedFieldList.a, FieldDescriptor ]
Returns [ UnnamedFieldList.b ]
DamagedReps [ UnnamedFieldList.a ]
From CedarBaseType;
FieldDescriptor
FieldDescriptor: CedarType From CedarBaseType;
BuildFieldDescriptor:
CedarFunction [ TypeIndex ]
Returns [ FieldDescriptor ]
From CedarBaseType;
GetFieldType:
CedarFunction [ FieldDescriptor ]
Returns [ TypeIndex ]
From CedarBaseType;
EltList
EltList: CedarType From CedarBaseType;
BuildEmptyEltList:
CedarFunction [ ]
Returns [ EltList ]
From CedarBaseType;
EltListInsert:
CedarFunction [ EltList.a, id ]
Returns [ EltList.b, BOOLEAN ]
From CedarBaseType;
EltListLookup:
CedarFunction [ EltList, id ]
Returns [ OrdinalValue ]
From CedarBaseType;