Class Variable

java.lang.Object

liquidjava.processor.context.Refined

liquidjava.processor.context.RefinedVariable

liquidjava.processor.context.Variable

public class Variable
extends RefinedVariable

Constructor Summary

Constructors

Constructor	Description
Variable(String name, String location, spoon.reflect.reference.CtTypeReference<?> type, Predicate ref)
Variable(String name, spoon.reflect.reference.CtTypeReference<?> type, Predicate ref)

Method Summary

Modifier and Type	Method	Description
void	addInstance(VariableInstance vi)
void	enterContext()
void	exitContext()
void	finishIfCombination()
Optional<VariableInstance>	getLastInstance()
Optional<String>	getLocation()
Predicate	getMainRefinement()
Predicate	getRefinement()
void	newIfCombination()
void	setLocation(String location)
String	toString()

Methods inherited from class liquidjava.processor.context.RefinedVariable

addPlacementInCode, addSuperType, addSuperTypes, equals, getPlacementInCode, getSuperTypes, hashCode

Methods inherited from class liquidjava.processor.context.Refined

getName, getRenamedRefinements, getType, setName, setRefinement, setType

Methods inherited from class java.lang.Object

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

Constructor Details

Variable

public Variable(String name,
 spoon.reflect.reference.CtTypeReference<?> type,
 Predicate ref)

Variable

public Variable(String name,
 String location,
 spoon.reflect.reference.CtTypeReference<?> type,
 Predicate ref)

Method Details

getRefinement

public Predicate getRefinement()

Overrides:

getRefinement in class Refined

getMainRefinement

public Predicate getMainRefinement()

Specified by:

getMainRefinement in class RefinedVariable

setLocation

public void setLocation(String location)

getLocation

public Optional<String> getLocation()

enterContext

public void enterContext()

exitContext

public void exitContext()

addInstance

public void addInstance(VariableInstance vi)

getLastInstance

public Optional<VariableInstance> getLastInstance()

newIfCombination

public void newIfCombination()

finishIfCombination

public void finishIfCombination()

toString

public String toString()

Overrides:

toString in class Refined