Exemplos de ATerm.match em Java

Exemplo n.º 1

Arquivo: MetaLoggerTool.java Projeto: cwi-swat/meta-environment

  // The generic handler calls the specific handlers
  public ATerm handler(ATerm term) {
    List result;

    result = term.match(PrecMonitor0);
    if (result != null) {
      return recMonitor((ATerm) result.get(0));
      // return null;

    }
    result = term.match(PrecTerminate0);
    if (result != null) {
      recTerminate((ATerm) result.get(0));
      return null;
    }

    notInInputSignature(term);
    return null;
  }