public Level(Level p, Label n, BoolList f, bool std)
{
Parent = p;
Frame = p.Frame.NewFrame(n, f);
Formals = null;
AccessList ptr = null;
for (Frame.AccessList al = Frame.Formals; al != null; al = al.Tail)
{
if (Formals == null)
{
ptr = Formals = new AccessList(new Access(this, al.Head), null);
}
else
{
ptr = ptr.Tail = new AccessList(new Access(this, al.Head), null);
}
}
}
public Translate(Frame.Frame frame)
{
Frame = frame;
}
public Semantics(Frame.Frame frame)
{
Translate = new Translate.Translate(frame);
Level = new Level(frame);
Env = new Environment(Level);
}
public ProcFrag(Stm b, Frame.Frame f)
{
Body = b;
Frame = f;
}
public Level(Frame.Frame f)
{
Frame = f;
}
public Level(Level p, Label n, BoolList f, bool std)
{
Parent = p;
Frame = p.Frame.NewFrame(n, f);
Formals = null;
AccessList ptr = null;
for (Frame.AccessList al = Frame.Formals; al != null; al = al.Tail)
{
if (Formals == null)
ptr = Formals = new AccessList(new Access(this, al.Head), null);
else
ptr = ptr.Tail = new AccessList(new Access(this, al.Head), null);
}
}
public ProcFrag(Stm b, Frame.Frame f)
{
Body = b;
Frame = f;
}
public Level(Frame.Frame f)
{
Frame = f;
}
public Translate(Frame.Frame frame)
{
Frame = frame;
}
