00001 package gov.nasa.arc.ase.jpf.expr;
00002
00003
00004 class Not implements SubExpr {
00005 private SubExpr term;
00006
00007 Not(SubExpr t) {
00008 term = t;
00009 }
00010 public void backtrack() {
00011 throw new RuntimeException("Expression is not executable");
00012 }
00013 public boolean evaluate() {
00014 return !term.evaluate();
00015 }
00016 public void execute() {
00017 throw new RuntimeException("Expression is not executable");
00018 }
00019 public String toString() {
00020 return "! " + term;
00021 }
00022 }
