Class RefinedFunction

java.lang.Object
liquidjava.processor.context.Refined
liquidjava.processor.context.RefinedFunction
public class RefinedFunction extends Refined

  • Constructor Details

    • RefinedFunction

      public RefinedFunction()

  • Method Details

    • getArguments

      public List<Variable> getArguments()

    • 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()

    • 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