Example #1
0
      public void check_postcondition() {

        Player playerProponent = DialogueGame.this.getProponent();
        CommitmentStore commitmentStoreStore = playerProponent.getStore();
        Set setContent = commitmentStoreStore.getContent();
        boolean bIsEmpty = CollectionUtilities.isEmpty(setContent);
        Player playerOpponent = DialogueGame.this.getOpponent();
        CommitmentStore commitmentStoreStore0 = playerOpponent.getStore();
        Set setContent0 = commitmentStoreStore0.getContent();
        boolean bIsEmpty0 = CollectionUtilities.isEmpty(setContent0);
        boolean bAnd = bIsEmpty && bIsEmpty0;
        if (!bAnd) {
          System.err.println(
              "postcondition 'postcondition' failed for object " + DialogueGame.this);
        }
      }
Example #2
0
      public void check_precondition() {

        Player playerProponent = DialogueGame.this.getProponent();
        CommitmentStore commitmentStoreStore = playerProponent.getStore();
        Set setContent = commitmentStoreStore.getContent();
        Proposition propositionThesis = DialogueGame.this.thesis;
        MoveContent moveContentGetNegation = propositionThesis.getNegation();
        boolean bIncludes = CollectionUtilities.includes(setContent, moveContentGetNegation);
        Player playerOpponent = DialogueGame.this.getOpponent();
        CommitmentStore commitmentStoreStore0 = playerOpponent.getStore();
        Set setContent0 = commitmentStoreStore0.getContent();
        Proposition propositionThesis0 = DialogueGame.this.thesis;
        boolean bIncludes0 = CollectionUtilities.includes(setContent0, propositionThesis0);
        boolean bOr = bIncludes || bIncludes0;
        if (!bOr) {
          System.err.println("precondition 'precondition' failed for object " + DialogueGame.this);
        }
      }