View Javadoc

1   package org.sat4j.csp.xml;
2   import org.xml.sax.Attributes;
3   
4   import static org.sat4j.csp.xml.TagNames.NB_DOMAINS;
5   
6   class Domains extends Element {
7   
8       public Domains(ICSPCallback out,String tagName) {
9   		super(out,tagName);
10  	}
11  
12  	public void startElement(Attributes att){
13  		getCB().beginDomainsSection(Integer.parseInt(att.getValue(NB_DOMAINS)));
14  	}
15  
16  	public void endElement() {
17  		getCB().endDomainsSection();
18  	}
19  
20  }