Beispiel #1
0
 public String toXML() {
   return expr.toXML();
 }
Beispiel #2
0
 public StoreExpr(EncodedCoverageExpr e) {
   expr = e;
   expr.setStoreFlag();
 }