gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment

Class InputTable

java.lang.Object

gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.Table<java.lang.Integer,V>

gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.StaticTable<java.lang.Integer>

gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.InputTable

public class InputTable
extends StaticTable<java.lang.Integer>

This class populates the input variables for the region, it does so by computing the first var use for every slot in case of non-method region, or computing the parameters of a method as the input table in case of a method region.

Field Summary

Fields

Modifier and Type	Field and Description
com.ibm.wala.ssa.IR	ir
private boolean	isMethodRegion

Fields inherited from class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.Table

label1, label2, table, tableName

Constructor Summary

Constructors

Modifier	Constructor and Description
private	InputTable(boolean isMethodRegion, com.ibm.wala.ssa.IR ir)
	InputTable(com.ibm.wala.ssa.IR ir, boolean isMethodRegion, SlotParamTable slotParamTable, Stmt stmt)

Method Summary

Modifier and Type	Method and Description
private void	computeMethodInputVars(SlotParamTable slotParamTable) This populates the InputTable for a methodRegion using the SlotParamTable since the InputTable for methodRegions is contains the same elements of the SlotParamTable.
private void	computeRegionInput(SlotParamTable slotParamTable, Stmt stmt) Computes inputs by visiting statement of the region and figuring out the first use of every stack slot that has no def as its first use.
void	print() Basic print of the table.

Methods inherited from class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.StaticTable

getKeys, mergeTable, updateKey

Methods inherited from class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.Table

add, lookup, mergeTable, remove

Methods inherited from class java.lang.Object

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

Field Detail

ir

public final com.ibm.wala.ssa.IR ir

isMethodRegion

private boolean isMethodRegion

Constructor Detail

InputTable

public InputTable(com.ibm.wala.ssa.IR ir,
                  boolean isMethodRegion,
                  SlotParamTable slotParamTable,
                  Stmt stmt)

InputTable

private InputTable(boolean isMethodRegion,
                   com.ibm.wala.ssa.IR ir)

Method Detail

computeMethodInputVars

private void computeMethodInputVars(SlotParamTable slotParamTable)

This populates the InputTable for a methodRegion using the SlotParamTable since the InputTable for methodRegions is contains the same elements of the SlotParamTable.

Parameters:

slotParamTable - Parameter table for a methodRegion.

computeRegionInput

private void computeRegionInput(SlotParamTable slotParamTable,
                                Stmt stmt)

Computes inputs by visiting statement of the region and figuring out the first use of every stack slot that has no def as its first use.

Parameters:

slotParamTable - Table of vars to stack slots.

stmt - Statement of the region.

print

public void print()

Description copied from class: Table

Basic print of the table. inside the table.

Overrides:

print in class Table<java.lang.Integer,java.lang.Integer>