Uses of Class
escjava.ast.DecreasesInfoVec

Packages that use DecreasesInfoVec

escjava.ast
escjava.translate

Uses of DecreasesInfoVec in escjava.ast

Fields in escjava.ast declared as DecreasesInfoVec

DecreasesInfoVec

LoopCmd.decreases

Methods in escjava.ast that return DecreasesInfoVec

static DecreasesInfoVec	DecreasesInfoVec.make() * Public maker methods: * *
static DecreasesInfoVec	DecreasesInfoVec.make(int count)
static DecreasesInfoVec	DecreasesInfoVec.make(java.util.Vector vec)
static DecreasesInfoVec	DecreasesInfoVec.make(DecreasesInfo[] els)
static DecreasesInfoVec	DecreasesInfoVec.popFromStackVector(StackVector s)
DecreasesInfoVec	DecreasesInfoVec.copy()

Methods in escjava.ast with parameters of type DecreasesInfoVec

static LoopCmd	LoopCmd.make(int locStart, int locEnd, int locHotspot, java.util.Hashtable oldmap, ConditionVec invariants, DecreasesInfoVec decreases, LocalVarDeclVec skolemConstants, ExprVec predicates, GenericVarDeclVec tempVars, GuardedCmd guard, GuardedCmd body)
void	EscPrettyPrint.printDecrInfoVec(java.io.OutputStream o, int ind, DecreasesInfoVec div, java.lang.String name)
void	DecreasesInfoVec.append(DecreasesInfoVec vec)

Constructors in escjava.ast with parameters of type DecreasesInfoVec

LoopCmd(int locStart, int locEnd, int locHotspot, java.util.Hashtable oldmap, ConditionVec invariants, DecreasesInfoVec decreases, LocalVarDeclVec skolemConstants, ExprVec predicates, GenericVarDeclVec tempVars, GuardedCmd guard, GuardedCmd body)

Uses of DecreasesInfoVec in escjava.translate

Methods in escjava.translate with parameters of type DecreasesInfoVec

static LoopCmd

GC.loop(int sLoop, int eLoop, int locHotspot, java.util.Hashtable oldmap, ConditionVec J, DecreasesInfoVec decs, LocalVarDeclVec skolemConsts, ExprVec P, GenericVarDeclVec tempVars, GuardedCmd B, GuardedCmd S)