A B C D E F G H I J K L M N O P R S T U V W Z

W

WalaUtil - Class in gov.nasa.jpf.symbc.veritesting.VeritestingUtil

This class provides some utility methods for Wala.

WalaUtil() - Constructor for class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.WalaUtil

WalaVarExpr - Class in gov.nasa.jpf.symbc.veritesting.ast.def

This is the class of Wala Variables in RangerIR.

WalaVarExpr(int) - Constructor for class gov.nasa.jpf.symbc.veritesting.ast.def.WalaVarExpr

WalaVarExpr(int, int) - Constructor for class gov.nasa.jpf.symbc.veritesting.ast.def.WalaVarExpr

WalaVarToSPFVarVisitor - Class in gov.nasa.jpf.symbc.veritesting.ast.transformations.AstToGreen

A visitor that visits all WalaVarExp and generate the appropriate SPF symbolic variable depending on its type.

WalaVarToSPFVarVisitor(DynamicTable) - Constructor for class gov.nasa.jpf.symbc.veritesting.ast.transformations.AstToGreen.WalaVarToSPFVarVisitor

write(Stmt) - Method in class gov.nasa.jpf.symbc.veritesting.ast.visitors.PrettyPrintVisitor

write(String) - Method in class gov.nasa.jpf.symbc.veritesting.ast.visitors.PrettyPrintVisitor

write(Expression) - Method in class gov.nasa.jpf.symbc.veritesting.ast.visitors.PrettyPrintVisitor

writeRegionDigest() - Method in class gov.nasa.jpf.symbc.VeritestingListener

A B C D E F G H I J K L M N O P R S T U V W Z