Package aterm

Examples of aterm.ATermLong

90
91
92
93
94
95
96
97
98
99
100
101
102
    return this;
  }

  public boolean equivalent(SharedObject obj){
    if(obj instanceof ATermLong){
      ATermLong peer = (ATermLong) obj;
      if(peer.getType() != getType()) return false;
     
      return (peer.getLong() == value && peer.getAnnotations().equals(getAnnotations()));
    }
   
    return false;
  }
View Full Code Here
823
824
825
826
827
828
829
830
831
832
833
834
835
        ATermInt integer = (ATermInt) term;
       
        result = makeInt(integer.getInt());
        break;
      case ATerm.LONG:
        ATermLong elongatedType = (ATermLong) term;
       
        result = makeLong(elongatedType.getLong());
        break;
      case ATerm.REAL:
        ATermReal real = (ATermReal) term;
       
        result = makeReal(real.getReal());
View Full Code Here
TOP

Related Classes of aterm.ATermLong

  • aterm.pure.ATermLongImpl
  • aterm.pure.PureFactory
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.