allow shorter spec --- @Interface is not mandatory
[cdsspec-compiler.git] / src / edu / uci / eecs / specExtraction /
drwxr-xr-x   ..
-rw-r--r-- 4895 Code.java
-rw-r--r-- 487 CommutativityRule.java
-rw-r--r-- 679 Construct.java
-rw-r--r-- 1513 DefineConstruct.java
-rw-r--r-- 638 EntryConstruct.java
-rw-r--r-- 4810 FunctionHeader.java
-rw-r--r-- 11661 GlobalConstruct.java
-rw-r--r-- 7887 InterfaceConstruct.java
-rw-r--r-- 1465 OPConstruct.java
-rw-r--r-- 199 OPType.java
-rw-r--r-- 1162 QualifiedName.java
-rw-r--r-- 24468 SpecExtractor.java
-rw-r--r-- 8758 SpecNaming.java
-rw-r--r-- 9762 SpecUtils.java
-rw-r--r-- 1099 VariableDeclaration.java
-rw-r--r-- 1780 WrongAnnotationException.java