Repair/RepairCompiler/MCC/IR/MissingSetDescriptor.java

   1 package MCC.IR;
   2
   3 /**
   4  * MissingSetDescriptor
   5  *
   6  * represents a set in the model space
   7  */
   8
   9 import java.util.*;
  10
  11 public class MissingSetDescriptor extends SetDescriptor {
  12
  13     public MissingSetDescriptor(String name) {
  14         super(name);
  15     }
  16
  17     public boolean isPartition() {
  18         throw new IRException();
  19     }
  20
  21     public void isPartition(boolean newvalue) {
  22         throw new IRException();
  23     }
  24
  25     public void setType(TypeDescriptor td) {
  26         throw new IRException();
  27     }
  28
  29     public TypeDescriptor getType() {
  30         throw new IRException();
  31     }
  32
  33     public void addSubset(SetDescriptor sd) {
  34         throw new IRException();
  35     }
  36
  37     public Vector getSubsets() {
  38         throw new IRException();
  39     }
  40 }