Package aterm

Examples of aterm.ATermPlaceholder

833
834
835
836
837
838
839
840
841
842
843
844
845
        ATermReal real = (ATermReal) term;
       
        result = makeReal(real.getReal());
        break;
      case ATerm.PLACEHOLDER:
        ATermPlaceholder placeHolder = (ATermPlaceholder) term;
       
        result = makePlaceholder(importTerm(placeHolder.getPlaceholder()));
        break;
      case ATerm.AFUN:
        AFun afun = (AFun) term;
       
        return makeAFun(afun.getName(), afun.getArity(), afun.isQuoted());
View Full Code Here
79
80
81
82
83
84
85
86
87
88
89
90
91
    return this;
  }

  public boolean equivalent(SharedObject obj){
    if(obj instanceof ATermPlaceholder){
      ATermPlaceholder peer = (ATermPlaceholder) obj;
      if(peer.getType() != getType()) return false;
     
      return (peer.getPlaceholder() == type && peer.getAnnotations().equals(getAnnotations()));
    }
   
    return false;
  }
View Full Code Here
TOP

Related Classes of aterm.ATermPlaceholder

  • aterm.pure.ATermPlaceholderImpl
  • 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.