Examples of aterm.ATerm.match()

aterm.ATerm.match()
Matches this term against a String pattern. The pattern is parsed into a term, which this term is then matched against. @param pattern the string pattern to match this term against. @return a list containing the subterms matching the placeholdersif the match succeeds, or null if the match fails. @throws ParseError if pattern cannot be parsed into a term. @see #match(ATerm)

  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

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.