projects
/
cdsspec-compiler.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
add support for "C_RET, S_RET, JustifyingPre/Postconditions"
[cdsspec-compiler.git]
/
src
/
edu
/
uci
/
eecs
/
specExtraction
/
SpecExtractor.java
diff --git
a/src/edu/uci/eecs/specExtraction/SpecExtractor.java
b/src/edu/uci/eecs/specExtraction/SpecExtractor.java
index a12ce256cfe7e72f924524bdec7850117021daba..8c478557139570708c7709d50717ad6694032d5c 100644
(file)
--- a/
src/edu/uci/eecs/specExtraction/SpecExtractor.java
+++ b/
src/edu/uci/eecs/specExtraction/SpecExtractor.java
@@
-624,7
+624,7
@@
public class SpecExtractor {
lineReader = new LineNumberReader(br);
// "/\*\*\s*@(DeclareState|Interface)"
Pattern regexpBegin = Pattern
lineReader = new LineNumberReader(br);
// "/\*\*\s*@(DeclareState|Interface)"
Pattern regexpBegin = Pattern
- .compile("/\\*\\*\\s*@(DeclareState|Interface|PreCondition|Justifying
C
ondition|Transition|JustifyingPostcondition|PostCondition|Define)");
+ .compile("/\\*\\*\\s*@(DeclareState|Interface|PreCondition|Justifying
Prec
ondition|Transition|JustifyingPostcondition|PostCondition|Define)");
Matcher matcher = regexpBegin.matcher("");
String line;
Matcher matcher = regexpBegin.matcher("");
String line;