gov.nasa.jpf.symbc.veritesting.VeritestingUtil

Class WalaUtil

java.lang.Object

gov.nasa.jpf.symbc.veritesting.VeritestingUtil.WalaUtil

public class WalaUtil
extends java.lang.Object

This class provides some utility methods for Wala.

Constructor Summary

Constructors

Constructor and Description
WalaUtil()

Method Summary

Modifier and Type	Method and Description
static za.ac.sun.cs.green.expr.Expression	makeConstantFromWala(com.ibm.wala.ssa.SymbolTable symbolTable, int walaId) This method is used to return a Green expression for a wala var name, based on the type of the constant.

Methods inherited from class java.lang.Object

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

Constructor Detail

WalaUtil

public WalaUtil()

Method Detail

makeConstantFromWala

public static za.ac.sun.cs.green.expr.Expression makeConstantFromWala(com.ibm.wala.ssa.SymbolTable symbolTable,
                                                                      int walaId)

This method is used to return a Green expression for a wala var name, based on the type of the constant.