3 public class FlatCheckNode extends FlatNode {
4 TempDescriptor [] temps;
8 public FlatCheckNode(String spec, String[] vars, TempDescriptor[] temps) {
15 return FKind.FlatCheckNode;
18 public String getSpec() {
22 public String[] getVars() {
26 public TempDescriptor [] getTemps() {
30 public TempDescriptor [] readsTemps() {