Class ExposedState


  • public class ExposedState
    extends Object
    • Field Detail

      • NO_ERRONEOUS_VARS

        public static final boolean[] NO_ERRONEOUS_VARS
      • vars

        public Var[] vars
    • Constructor Detail

      • ExposedState

        public ExposedState​(int size)
      • ExposedState

        public ExposedState​(Member signature)
    • Method Detail

      • isFullySetUp

        public boolean isFullySetUp()
      • set

        public void set​(int i,
                        Var var)
      • get

        public Var get​(int i)
      • size

        public int size()
      • getAspectInstance

        public Expr getAspectInstance()
      • setAspectInstance

        public void setAspectInstance​(Expr aspectInstance)
      • setErroneousVar

        public void setErroneousVar​(int formalIndex)
      • isErroneousVar

        public boolean isErroneousVar​(int formalIndex)
      • setConcreteAspect

        public void setConcreteAspect​(ResolvedType concreteAspect)
      • getConcreteAspect

        public ResolvedType getConcreteAspect()