ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

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)
           
 

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)
           
 


ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

The ESC/Java2 Project Homepage