SaffronMakeTypeIntervalImpl.mesa
Copyright Ó 1987 by Xerox Corporation. All rights reserved.
Generated by BJackson.pa at April 27, 1987 11:24:13 pm PDT
using ThreeCasabaFour [1.1] of April 14, 1987 6:34:07 pm PDT
DIRECTORY
CedarBaseContext,
SaffronAG6Def,
CedarBaseMisc,
ThreeC4Support,
SaffronATDef,
CedarBaseType;
SaffronMakeTypeIntervalImpl: CEDAR PROGRAM IMPORTS CedarBaseMisc, ThreeC4Support EXPORTS SaffronAG6Def=
BEGIN
OPEN CedarBaseContext, SaffronAG6Def, CedarBaseMisc, ThreeC4Support, SaffronATDef, CedarBaseType;
IntervalccProdMakeTypeInterval: PUBLIC PROC[ref: REF ANY, typeIndex: TypeIndex, localContext: LocalContext, ribContext: RibContext, typeGraph: TypeGraph] RETURNS[temp0: TypeNode, temp1: TypeBounds, temp2: LocalContext, temp3: TypeGraph] =
BEGIN
tree: IntervalNode← NARROW[ref];
BEGIN
ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length];
treeData: IntervalccProdData ← NARROW[tree.data];
[temp0, temp1, temp2, temp3] ← treeData.Bounds.procs.MakeTypeBounds[treeData.Bounds, True[], True[], typeIndex, localContext, ribContext, typeGraph];
END
END;
IntervalcoProdMakeTypeInterval: PUBLIC PROC[ref: REF ANY, typeIndex: TypeIndex, localContext: LocalContext, ribContext: RibContext, typeGraph: TypeGraph] RETURNS[temp0: TypeNode, temp1: TypeBounds, temp2: LocalContext, temp3: TypeGraph] =
BEGIN
tree: IntervalNode← NARROW[ref];
BEGIN
ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length];
treeData: IntervalcoProdData ← NARROW[tree.data];
[temp0, temp1, temp2, temp3] ← treeData.Bounds.procs.MakeTypeBounds[treeData.Bounds, True[], False[], typeIndex, localContext, ribContext, typeGraph];
END
END;
IntervalocProdMakeTypeInterval: PUBLIC PROC[ref: REF ANY, typeIndex: TypeIndex, localContext: LocalContext, ribContext: RibContext, typeGraph: TypeGraph] RETURNS[temp0: TypeNode, temp1: TypeBounds, temp2: LocalContext, temp3: TypeGraph] =
BEGIN
tree: IntervalNode← NARROW[ref];
BEGIN
ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length];
treeData: IntervalocProdData ← NARROW[tree.data];
[temp0, temp1, temp2, temp3] ← treeData.Bounds.procs.MakeTypeBounds[treeData.Bounds, False[], True[], typeIndex, localContext, ribContext, typeGraph];
END
END;
IntervalooProdMakeTypeInterval: PUBLIC PROC[ref: REF ANY, typeIndex: TypeIndex, localContext: LocalContext, ribContext: RibContext, typeGraph: TypeGraph] RETURNS[temp0: TypeNode, temp1: TypeBounds, temp2: LocalContext, temp3: TypeGraph] =
BEGIN
tree: IntervalNode← NARROW[ref];
BEGIN
ENABLE ThreeC4Support.GetSourceInfo => RESUME[tree.position, tree.length];
treeData: IntervalooProdData ← NARROW[tree.data];
[temp0, temp1, temp2, temp3] ← treeData.Bounds.procs.MakeTypeBounds[treeData.Bounds, False[], False[], typeIndex, localContext, ribContext, typeGraph];
END
END;
END..