List of toErlangTerm() Examples

Examples of toErlangTerm()

statechum.Label.toErlangTerm()
Converts a label to text which can be parsed back into the same label. Used to compare labels and to compute their hash codes as well as to output questions for AutoAnswers to answer and for logging the progress of learning (RecordProgressDecorator). @return
statechum.analysis.Erlang.Signatures.FuncSignature.toErlangTerm()

Examples of statechum.analysis.Erlang.Signatures.FuncSignature.toErlangTerm()


    // At this point, we know which function should correspond to this label,
    // it is worth checking whether the function already associated with the label
    // is the correct function,
    if (label.function != null) {
      if (!label.function.toErlangTerm().equals(origFunc.toErlangTerm()))
        throw new IllegalArgumentException(
            "label already has a function assigned and it is a different function, " + "was : "
                + label.function + ", now: " + origFunc);
    }
    return new ErlangLabel(origFunc, label.callName, label.input, label.expectedOutput);

View Full Code Here

Examples of statechum.analysis.Erlang.Signatures.FuncSignature.toErlangTerm()

      Assert.assertTrue(mod.behaviour.dependencies.isEmpty());
      for(FuncSignature s:mod.sigs.values())
      {
           FuncSignature newSig = new FuncSignature(defaultConfig, ErlangLabel.parseText(s.toErlangTerm()),null);
           Assert.assertEquals(s, newSig);
           Assert.assertEquals(s, new FuncSignature(defaultConfig, ErlangLabel.parseText(newSig.toErlangTerm()),null));
      }
    }
    
    @Test
    public void testExtractFunctionTypes2() throws IOException

View Full Code Here

Examples of statechum.analysis.Erlang.Signatures.FuncSignature.toErlangTerm()

      Assert.assertTrue(mod.behaviour.dependencies.isEmpty());
      for(FuncSignature s:mod.sigs.values())
      {
           FuncSignature newSig = new FuncSignature(defaultConfig, ErlangLabel.parseText(s.toErlangTerm()),null);
           Assert.assertEquals(s, newSig);
           Assert.assertEquals(s, new FuncSignature(defaultConfig, ErlangLabel.parseText(newSig.toErlangTerm()),null));
      }
    }
    
     @Test
     public void testWibbleAlphabet() throws IOException

View Full Code Here

Examples of statechum.analysis.Erlang.Signatures.FuncSignature.toErlangTerm()


    // At this point, we know which function should correspond to this label,
    // it is worth checking whether the function already associated with the label
    // is the correct function,
    if (label.function != null) {
      if (!label.function.toErlangTerm().equals(origFunc.toErlangTerm()))
        throw new IllegalArgumentException(
            "label already has a function assigned and it is a different function, " + "was : "
                + label.function + ", now: " + origFunc);
    }
    return new ErlangLabel(origFunc, label.callName, label.input, label.expectedOutput);

View Full Code Here

Examples of statechum.analysis.Erlang.Signatures.FuncSignature.toErlangTerm()

      Assert.assertTrue(mod.behaviour.dependencies.isEmpty());
      for(FuncSignature s:mod.sigs.values())
      {
           FuncSignature newSig = new FuncSignature(defaultConfig, ErlangLabel.parseText(s.toErlangTerm()),null);
           Assert.assertEquals(s, newSig);
           Assert.assertEquals(s, new FuncSignature(defaultConfig, ErlangLabel.parseText(newSig.toErlangTerm()),null));
      }
    }
    
    @Test
    public void testExtractFunctionTypes2() throws IOException

View Full Code Here

Examples of statechum.analysis.Erlang.Signatures.FuncSignature.toErlangTerm()

      Assert.assertTrue(mod.behaviour.dependencies.isEmpty());
      for(FuncSignature s:mod.sigs.values())
      {
           FuncSignature newSig = new FuncSignature(defaultConfig, ErlangLabel.parseText(s.toErlangTerm()),null);
           Assert.assertEquals(s, newSig);
           Assert.assertEquals(s, new FuncSignature(defaultConfig, ErlangLabel.parseText(newSig.toErlangTerm()),null));
      }
    }
    
     @Test
     public void testWibbleAlphabet() throws IOException

View Full Code Here

Examples of statechum.analysis.Erlang.Signatures.FuncSignature.toErlangTerm()

      Assert.assertTrue(mod.behaviour.dependencies.isEmpty());
      for(FuncSignature s:mod.sigs.values())
      {
           FuncSignature newSig = new FuncSignature(defaultConfig, ErlangLabel.parseText(s.toErlangTerm()),null);
           Assert.assertEquals(s, newSig);
           Assert.assertEquals(s, new FuncSignature(defaultConfig, ErlangLabel.parseText(newSig.toErlangTerm()),null));
      }
    }
    
    @Test
    public void testExtractFunctionTypes2() throws IOException

View Full Code Here

Examples of statechum.analysis.Erlang.Signatures.FuncSignature.toErlangTerm()

      Assert.assertTrue(mod.behaviour.dependencies.isEmpty());
      for(FuncSignature s:mod.sigs.values())
      {
           FuncSignature newSig = new FuncSignature(defaultConfig, ErlangLabel.parseText(s.toErlangTerm()),null);
           Assert.assertEquals(s, newSig);
           Assert.assertEquals(s, new FuncSignature(defaultConfig, ErlangLabel.parseText(newSig.toErlangTerm()),null));
      }
    }
    
     @Test
     public void testWibbleAlphabet() throws IOException

View Full Code Here

Examples of statechum.analysis.Erlang.Signatures.FuncSignature.toErlangTerm()

      Assert.assertTrue(mod.behaviour.dependencies.isEmpty());
      for(FuncSignature s:mod.sigs.values())
      {
           FuncSignature newSig = new FuncSignature(defaultConfig, ErlangLabel.parseText(s.toErlangTerm()),null);
           Assert.assertEquals(s, newSig);
           Assert.assertEquals(s, new FuncSignature(defaultConfig, ErlangLabel.parseText(newSig.toErlangTerm()),null));
      }
    }
    
    @Test
    public void testExtractFunctionTypes2() throws IOException

View Full Code Here

Examples of statechum.analysis.Erlang.Signatures.FuncSignature.toErlangTerm()

      Assert.assertTrue(mod.behaviour.dependencies.isEmpty());
      for(FuncSignature s:mod.sigs.values())
      {
           FuncSignature newSig = new FuncSignature(defaultConfig, ErlangLabel.parseText(s.toErlangTerm()),null);
           Assert.assertEquals(s, newSig);
           Assert.assertEquals(s, new FuncSignature(defaultConfig, ErlangLabel.parseText(newSig.toErlangTerm()),null));
      }
    }
    
     @Test
     public void testWibbleAlphabet() throws IOException

View Full Code Here

0 1 2

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.