Package aterm

Examples of aterm.ATerm.match()


  public int getPatternType() {
    ATerm match_pattern = buildMatchPattern();

    if (match_pattern.getType() == ATerm.PLACEHOLDER) {
      ATerm ph = ((ATermPlaceholder) match_pattern).getPlaceholder();
      if (ph.match("int") != null) {
        return ATerm.INT;
      } else if (ph.match("real") != null) {
        return ATerm.REAL;
      } else if (ph.match("str") != null) {
        return ATerm.APPL;
View Full Code Here


    if (match_pattern.getType() == ATerm.PLACEHOLDER) {
      ATerm ph = ((ATermPlaceholder) match_pattern).getPlaceholder();
      if (ph.match("int") != null) {
        return ATerm.INT;
      } else if (ph.match("real") != null) {
        return ATerm.REAL;
      } else if (ph.match("str") != null) {
        return ATerm.APPL;
      } else if (ph.match("list") != null) {
        return ATerm.LIST;
View Full Code Here

      ATerm ph = ((ATermPlaceholder) match_pattern).getPlaceholder();
      if (ph.match("int") != null) {
        return ATerm.INT;
      } else if (ph.match("real") != null) {
        return ATerm.REAL;
      } else if (ph.match("str") != null) {
        return ATerm.APPL;
      } else if (ph.match("list") != null) {
        return ATerm.LIST;
      } else if (ph.match("term") != null) {
        return ATerm.APPL;
View Full Code Here

        return ATerm.INT;
      } else if (ph.match("real") != null) {
        return ATerm.REAL;
      } else if (ph.match("str") != null) {
        return ATerm.APPL;
      } else if (ph.match("list") != null) {
        return ATerm.LIST;
      } else if (ph.match("term") != null) {
        return ATerm.APPL;
      } else if (ph.match("chars") != null) {
        return ATerm.LIST;
View Full Code Here

        return ATerm.REAL;
      } else if (ph.match("str") != null) {
        return ATerm.APPL;
      } else if (ph.match("list") != null) {
        return ATerm.LIST;
      } else if (ph.match("term") != null) {
        return ATerm.APPL;
      } else if (ph.match("chars") != null) {
        return ATerm.LIST;
      } else if (ph.match("char") != null) {
        return ATerm.INT;
View Full Code Here

        return ATerm.APPL;
      } else if (ph.match("list") != null) {
        return ATerm.LIST;
      } else if (ph.match("term") != null) {
        return ATerm.APPL;
      } else if (ph.match("chars") != null) {
        return ATerm.LIST;
      } else if (ph.match("char") != null) {
        return ATerm.INT;
      } else {
        throw new RuntimeException("strange root pattern: "
View Full Code Here

        return ATerm.LIST;
      } else if (ph.match("term") != null) {
        return ATerm.APPL;
      } else if (ph.match("chars") != null) {
        return ATerm.LIST;
      } else if (ph.match("char") != null) {
        return ATerm.INT;
      } else {
        throw new RuntimeException("strange root pattern: "
            + match_pattern);
      }
View Full Code Here

TOP
Copyright © 2018 www.massapi.com. 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.