Class RefinedFunction

java.lang.Object

liquidjava.processor.context.Refined

liquidjava.processor.context.RefinedFunction

public class RefinedFunction
extends Refined

Constructor Summary

Constructors

Constructor	Description
RefinedFunction()

Method Summary

Modifier and Type	Method	Description
void	addArgRefinements(String varName, spoon.reflect.reference.CtTypeReference<?> type, Predicate refinement)
void	addArgRefinements(Variable vi)
void	addStates(ObjectState e)
boolean	allRefinementsTrue()
boolean	equals(Object obj)
Predicate	getAllRefinements()
List<ObjectState>	getAllStates()
List<Variable>	getArguments()
List<Predicate>	getFromStates()
Predicate	getRefinementsForParamIndex(int index)	Gives the Predicate for a certain parameter index and regards all the previous parameters' Predicates
Predicate	getRefReturn()
Predicate	getRenamedRefinements(Context c, spoon.reflect.declaration.CtElement element)
String	getSignature()
String	getTargetClass()
List<Predicate>	getToStates()
int	hashCode()
boolean	hasStateChange()
void	setAllStates(List<ObjectState> l)
void	setClass(String klass)
void	setRefReturn(Predicate ref)
void	setSignature(String signature)
String	toString()

Methods inherited from class liquidjava.processor.context.Refined

getName, getRefinement, getRenamedRefinements, getType, setName, setRefinement, setType

Methods inherited from class java.lang.Object

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

Constructor Details

RefinedFunction

public RefinedFunction()

Method Details

getArguments

public List<Variable> getArguments()

addArgRefinements

public void addArgRefinements(String varName,
 spoon.reflect.reference.CtTypeReference<?> type,
 Predicate refinement)

addArgRefinements

public void addArgRefinements(Variable vi)

getRefReturn

public Predicate getRefReturn()

setRefReturn

public void setRefReturn(Predicate ref)

setClass

public void setClass(String klass)

getTargetClass

public String getTargetClass()

setSignature

public void setSignature(String signature)

getSignature

public String getSignature()

getRenamedRefinements

public Predicate getRenamedRefinements(Context c,
 spoon.reflect.declaration.CtElement element)

getAllRefinements

public Predicate getAllRefinements()

getRefinementsForParamIndex

public Predicate getRefinementsForParamIndex(int index)

Gives the Predicate for a certain parameter index and regards all the previous parameters' Predicates

Parameters:

index -

Returns:

allRefinementsTrue

public boolean allRefinementsTrue()

getAllStates

public List<ObjectState> getAllStates()

setAllStates

public void setAllStates(List<ObjectState> l)

addStates

public void addStates(ObjectState e)

hasStateChange

public boolean hasStateChange()

getFromStates

public List<Predicate> getFromStates()

getToStates

public List<Predicate> getToStates()

toString

public String toString()

Overrides:

toString in class Refined

hashCode

public int hashCode()

Overrides:

hashCode in class Refined

equals

public boolean equals(Object obj)

Overrides:

equals in class Refined