<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_s28474t5qbvh16nnn2g8t9f7no, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
srecord RuleWithParams(IfThen rule, SS matches) {}

srecord IfThen(Exp in, Exp out) {
  S globalID;
  Set<S> options;
  
  S text() {
    ret (nempty(globalID) ? "[id: " + globalID + "] " : "")
      + (in == null ? "" : in.text() + " => ") + nlLogic_text(out);
  }
  toString { ret text(); }
}

abstract sclass Exp {
  abstract S text();
  toString { ret text(); }
}

srecord Func(S name, Exp arg) extends Exp {
  S text() {
    ret name + "(" + arg.text() + ")";
  }
}

srecord And(Exp a, Exp b) extends Exp {
  S text() {
    ret a.text() + " && " + b.text();
  }
}

srecord ExpNot(Exp a) extends Exp {
  S text() {
    ret "!" + a.text();
  }
}

abstract sclass Literal extends Exp {}
srecord Sentence(L<S> tok) extends Literal { S text() { ret join(tok); } }
srecord Sentence2(S text) extends Literal { S text() { ret text; } }

srecord Eq(Exp left, Exp right) extends Exp {
  S text() {
    ret left.text() + " = " + right.text();
  }
}