1 package org.sat4j.csp.xml;
2 import org.xml.sax.Attributes;
3
4 class Predicate extends Element {
5
6 public Predicate(ICSPCallback out, String tagName) {
7 super(out,tagName);
8 }
9
10 public void startElement(Attributes att) {
11 getCB().beginPredicate(att.getValue("name"));
12 context = "Predicate";
13 }
14
15 public void endElement() {
16 context = "";
17 getCB().endPredicate();
18 }
19
20 private String context;
21
22 public String getContext(){
23 return context;
24 }
25
26 }