JSim.plan

Class SeqMem

java.lang.Object

JSim.plan.SeqMem

public class SeqMem
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	SeqMem.CodePoint
static class	SeqMem.LoopStack

Constructor Summary

Constructors

Constructor and Description
SeqMem(MainBlock main)

Method Summary

Modifier and Type	Method and Description
java.util.Hashtable<SeqItem,java.util.ArrayList<JSim.mml.Var>>	accumVarMems(java.util.Hashtable<JSim.mml.Var,SeqMem.CodePoint> points)
void	addVarMems()
TModel	model()
void	process()
java.util.Hashtable<JSim.mml.Var,DomainSet>	varReqDoms()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SeqMem

public SeqMem(MainBlock main)

Method Detail

process

public void process()
             throws Xcept

Throws:

Xcept

addVarMems

public void addVarMems()

accumVarMems

public java.util.Hashtable<SeqItem,java.util.ArrayList<JSim.mml.Var>> accumVarMems(java.util.Hashtable<JSim.mml.Var,SeqMem.CodePoint> points)

model

public TModel model()

varReqDoms

public java.util.Hashtable<JSim.mml.Var,DomainSet> varReqDoms()