00001: package clogs.ast; 00002: 00003: import clogs.util.List; 00004: 00005: 00006: public class StatSkip extends Stat 00007: { 00008: public StatSkip () 00009: { 00010: this (List.<String>nil ()); 00011: } 00012: 00013: 00014: StatSkip (List<String> labels) 00015: { 00016: super (labels); 00017: } 00018: 00019: 00020: public Stat removeLabels () 00021: { 00022: return new StatSkip (List.<String> nil ()); 00023: } 00024: 00025: 00026: public Stat addLabel (String label) 00027: { 00028: return new StatSkip (labels.cons (label)); 00029: } 00030: } 00031: