Postcondition.java
Go to the documentation of this file.
00001 package instruction.semanticObjects;
00002 
00003 
00004 public class Postcondition extends SemanticObject {
00005         
00006         private Sentence condition = new Sentence();
00007         
00008         public Postcondition() {
00009         }
00010         
00011         public Postcondition(Sentence condition) {
00012                 this.condition = condition;
00013         }
00014         
00015         public Sentence getCondition() {
00016                 return condition;
00017         }
00018         
00019         public void setCondition(Sentence condition) {
00020                 this.condition = condition;
00021         }       
00022         
00023         public String toString() {
00024                 return condition.toString();
00025         }
00026         
00027         public boolean equals(Object c) {
00028                 if (! (c instanceof Postcondition))
00029                         return false;
00030                 return condition.equals( ((Postcondition) c).getCondition() );
00031         }
00032 }
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Properties Friends


comp_ehow
Author(s): Moritz Tenorth, Daniel Nyga
autogenerated on Tue Apr 16 2013 00:18:02