private int _beginLineNum, _endLineNum;
private String _beginLine;
- SpecExtractor() {
+ public SpecExtractor() {
_constructs = new ArrayList<SpecConstruct>();
}
specText.toString(), file,
_beginLineNum, _endLineNum, inst);
}
+ _constructs.add(specConstruct);
specText = new StringBuilder();
- System.out.println(specConstruct);
+// System.out.println(specConstruct);
}
}
} else {
specText.toString(), file,
_beginLineNum, _endLineNum, inst);
}
- System.out.println(specConstruct);
+ _constructs.add(specConstruct);
specText = new StringBuilder();
+// System.out.println(specConstruct);
}
}
}