tokensNum = enumDomNum = intDomNum = 0;
tokensNum = objsNum = propNum = enumDomNum = intDomNum = entNum = 0;
  public Assertion(String name, IXMLElement assertion) {    this.name = name;    tokensNum = enumDomNum = intDomNum = 0;    for(Iterator it = assertion.getChildren().iterator(); it.hasNext();) {      IXMLElement child = (IXMLElement) it.next();      if(child.getName().equals("step"))        step = child;      else        asstn = child;    }    lineText = assertion.getAttribute("lineText", "");    fileName = assertion.getAttribute("file", "");    lineNo = Integer.parseInt(assertion.getAttribute("lineNo", "-1"));    header = new CppFile();    impl = new CppFile();    toHeader();    toImpl();    header.unindent();    header.addLine("};");  }