1 package org.sat4j.csp.xml;
2 import org.xml.sax.Attributes;
3
4 class Functional extends Element {
5
6 private StringBuilder expr;
7
8 public Functional(ICSPCallback out,String tagName) {
9 super(out,tagName);
10 }
11
12 public void startElement(Attributes attributes) {
13 expr = new StringBuilder();
14 }
15
16 public void characters(String s) {
17 expr.append(s);
18 }
19
20 public void endElement() {
21 getCB().predicateExpression(expr.toString().trim());
22 }
23
24
25 }