Changed inheritance to separate task/method descriptors again
authorbdemsky <bdemsky>
Tue, 16 May 2006 00:09:18 +0000 (00:09 +0000)
committerbdemsky <bdemsky>
Tue, 16 May 2006 00:09:18 +0000 (00:09 +0000)
commit7fb198fbffac163b51a482b191267de1d5ee0450
tree4f570d708af77434c32d5824782da0bde4d9e4a3
parent9246ffa33701c11317fe04981cffb7cde7e85f82
Changed inheritance to separate task/method descriptors again
Push task generation through flat code...
Robust/src/IR/Flat/BuildFlat.java
Robust/src/IR/Flat/FlatMethod.java
Robust/src/IR/MethodDescriptor.java
Robust/src/IR/State.java
Robust/src/IR/TaskDescriptor.java
Robust/src/IR/Tree/SemanticCheck.java