Uses of Class
escjava.ast.DecreasesInfo

Packages that use DecreasesInfo

escjava.ast

Uses of DecreasesInfo in escjava.ast

Fields in escjava.ast declared as DecreasesInfo

private DecreasesInfo[]

DecreasesInfoVec.elements * Instance fields: * *

Methods in escjava.ast that return DecreasesInfo

DecreasesInfo	DecreasesInfoVec.elementAt(int index) * Other methods: * *
DecreasesInfo[]	DecreasesInfoVec.toArray()
DecreasesInfo	DecreasesInfoVec.pop()
static DecreasesInfo	DecreasesInfo.make(int locStart, int locEnd, Expr f, VariableAccess fOld)

Methods in escjava.ast with parameters of type DecreasesInfo

abstract java.lang.Object	VisitorArgResult.visitDecreasesInfo(DecreasesInfo x, java.lang.Object o)
abstract void	Visitor.visitDecreasesInfo(DecreasesInfo x)
static DecreasesInfoVec	DecreasesInfoVec.make(DecreasesInfo[] els)
void	DecreasesInfoVec.setElementAt(DecreasesInfo x, int index)
boolean	DecreasesInfoVec.contains(DecreasesInfo x)
void	DecreasesInfoVec.addElement(DecreasesInfo x)
boolean	DecreasesInfoVec.removeElement(DecreasesInfo x)
void	DecreasesInfoVec.insertElementAt(DecreasesInfo obj, int index)

Constructors in escjava.ast with parameters of type DecreasesInfo

DecreasesInfoVec(DecreasesInfo[] els)
* Private constructors: * *