changes: having an extension field in the type descriptor
authoryeom <yeom>
Thu, 21 Apr 2011 23:32:34 +0000 (23:32 +0000)
committeryeom <yeom>
Thu, 21 Apr 2011 23:32:34 +0000 (23:32 +0000)
commitcc49a7b0b58d134b52f69f5407f2a31f6e1d9c87
tree27c86bd2737884ddd524f7f337f81bc9a69c7bc5
parentbfc74d6f328bf2114c65341f81c48a987cf4cd3a
changes: having an extension field in the type descriptor
Robust/src/IR/TypeDescriptor.java
Robust/src/IR/TypeExtension.java [new file with mode: 0644]