projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8d1f04f) | patch
add one more checking, class inheritance: If a class B has a super class A, all relat...
authoryeom <yeom>
Tue, 31 May 2011 23:48:40 +0000 (23:48 +0000)
committeryeom <yeom>
Tue, 31 May 2011 23:48:40 +0000 (23:48 +0000)
commit52d846e6280d4eb8c4740165f6e4513cbf9d7481
treeef8d27b3532e880ff4097ac02bb1b6939a22955etree | snapshot
parent8d1f04f73e7cf6be4a5ee48604fc62beb688e7a2commit | diff
add one more checking, class inheritance: If a class B has a super class A, all relative orderings of class A must be respected by the ordering lattice of class B.
Robust/src/Analysis/SSJava/FlowDownCheck.java diff | blob | history
Robust/src/Util/Lattice.java diff | blob | history
Irvine Research Compiler