projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6a025f1) | patch
changes: 1) have a better error message 2) if annotation is required for abstract...
authoryeom <yeom>
Thu, 14 Jul 2011 18:02:11 +0000 (18:02 +0000)
committeryeom <yeom>
Thu, 14 Jul 2011 18:02:11 +0000 (18:02 +0000)
commitabce04f951b03de05f4030f53d10fdba3d20bc93
tree8200d3e4073417eec7e3f8e210e733a04dd05e6btree | snapshot
parent6a025f165e3c14b3aea060139288f90eeed0f0a5commit | diff
changes: 1) have a better error message 2) if annotation is required for abstract method, add all possible methods who implements the abstract method for further checking
Robust/src/Analysis/SSJava/FlowDownCheck.java diff | blob | history
Robust/src/Analysis/SSJava/MethodAnnotationCheck.java diff | blob | history
Irvine Research Compiler