sandmark.util.opaquepredicatelib
Class Predicatelib

java.lang.Object
  |
  +--sandmark.util.opaquepredicatelib.Predicatelib

Direct Known Subclasses:

AlgebraicLib, RuntimeIntOPLib, RuntimeIsNullOPLib, RuntimeStrOPLib

public abstract class Predicatelib

extends java.lang.Object

This 'OpaquePred' class forms the base class for the separate opaque predicate implementations which inherit some properties from this base class

Field Summary

protected ClassFileCollection	cfc
protected int	insertPositionIndex
protected int	opaqueType
protected de.fub.bytecode.generic.MethodGen	targetMethodGen

Constructor Summary

(package private)

Predicatelib(ClassFileCollection cfCollection, de.fub.bytecode.generic.MethodGen mg) Constructor

Method Summary

int	getOpaqueType() Returns the opaque type ie.
abstract boolean	satisfyMethodConstraint() Returns 'true' if the method satisfies the requirements to insert the code for building the opaque predicate, else return 'false'
void	setStartPosition(int sp) Returns the opaque name public String getOpaqueName() { return opaqueName; }

Methods inherited from class java.lang.Object

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

Field Detail

opaqueType

protected int opaqueType

targetMethodGen

protected de.fub.bytecode.generic.MethodGen targetMethodGen

cfc

protected ClassFileCollection cfc

insertPositionIndex

protected int insertPositionIndex

Constructor Detail

Predicatelib

Predicatelib(ClassFileCollection cfCollection,
             de.fub.bytecode.generic.MethodGen mg)

Constructor

Method Detail

setStartPosition

public void setStartPosition(int sp)

Returns the opaque name public String getOpaqueName() { return opaqueName; }

getOpaqueType

public int getOpaqueType()

Returns the opaque type ie. 'F=>0' , 'T=>1' , '?=>2'

satisfyMethodConstraint

public abstract boolean satisfyMethodConstraint()

Returns 'true' if the method satisfies the requirements to insert the code for building the opaque predicate, else return 'false'