Java WMethod.checkM_and_coloursの例

コード例 #1

ファイル: Test_LearnerComparator.java プロジェクト: prowessproject/statechum

  protected void checkGraphEquality(LearnerGraph what, LearnerGraph with) {
    DifferentFSMException ex = null;
    if (compareInDepth) {
      // if (!what.equals(with))
      //	ex = new DifferentFSMException("machines differ");
      ex = WMethod.checkM_and_colours(what, with, VERTEX_COMPARISON_KIND.DEEP);
    } else ex = WMethod.checkM(what, with);
    // org.junit.Assert.assertTrue(WMethod.sameStateSet(what,with));

    if (ex != null && failureCode == null) failureCode = ex;
  }