Programming Languages Research Group: Git - IRC.git/commit

projects / IRC.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 55f482b) | patch

author	yeom <yeom>
	Wed, 20 Jul 2011 21:50:05 +0000 (21:50 +0000)
committer	yeom <yeom>
	Wed, 20 Jul 2011 21:50:05 +0000 (21:50 +0000)
commit	40e9b64bbc6a8a2c1feacba48f30b7059238e912
tree	4fabb9a45908d61c747094147b1e1d548a0a2f64	tree \| snapshot
parent	55f482b4e93e0e80cdb7eb2ee203b32992312b76	commit \| diff

fixes on method annoatation checking: when a method needs to be annotated, all of its parent method needs to be annotated. If a parent method is abstract, at least needs to have annotations for method declaration.

Irvine Research Compiler