Package de.breakpointsec.pushdown.rules

Class PushRule<Location,State,Weight>

java.lang.Object

de.breakpointsec.pushdown.rules.Rule<Location,State,Weight>

de.breakpointsec.pushdown.rules.PushRule<Location,State,Weight>

public class PushRule<Location,State,Weight>
extends Rule<Location,State,Weight>

Field Summary

Fields

Modifier and Type	Field	Description
protected Location	callSite

Fields inherited from class de.breakpointsec.pushdown.rules.Rule

l1, l2, s1, s2, w

Constructor Summary

Constructors

Constructor	Description
PushRule(State s1, Location l1, State s2, Location l2, Location callSite, Weight w)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
Location	getCallSite()
int	hashCode()
String	toString()

Methods inherited from class de.breakpointsec.pushdown.rules.Rule

getL1, getL2, getS1, getS2, getStartConfig, getTargetConfig, getWeight, setS1

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

callSite

protected Location callSite

Constructor Detail

PushRule

public PushRule(State s1,
                Location l1,
                State s2,
                Location l2,
                Location callSite,
                Weight w)

Method Detail

getCallSite

public Location getCallSite()

hashCode

public int hashCode()

Overrides:

hashCode in class Rule<Location,State,Weight>

equals

public boolean equals(Object obj)

Overrides:

equals in class Rule<Location,State,Weight>

toString

public String toString()

Overrides:

toString in class Object