this.setFields(fields_); this.setInvariant(invariant_); this.setMethods(methods_); this.setFunctions(functions_); this.setTraces(traces_);
this.setFields(fields_); this.setInvariant(invariant_); this.setMethods(methods_); this.setFunctions(functions_); this.setTraces(traces_);