Class Expr


  • public final class Expr
    extends java.lang.Object
    • Constructor Detail

      • Expr

        public Expr​(ru.ispras.fortress.expression.Node node)
      • Expr

        public Expr​(Expr other)
    • Method Detail

      • isConstant

        public boolean isConstant()
      • isInternalVariable

        public boolean isInternalVariable()
      • isTypeOf

        public boolean isTypeOf​(TypeId typeId)
      • isTypeOf

        public boolean isTypeOf​(Type otherType)
      • getNode

        public ru.ispras.fortress.expression.Node getNode()
      • getNodeInfo

        public NodeInfo getNodeInfo()
      • setNodeInfo

        public void setNodeInfo​(NodeInfo nodeInfo)
      • integerValue

        public int integerValue()
      • bigIntegerValue

        public java.math.BigInteger bigIntegerValue()
      • equals

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object