00001: package clogs.ast;
00002: 
00003: import clogs.util.List;
00004: import clogs.util.Optional;
00005: 
00006: 
00007: public class InitDecl 
00008: {
00009:   public final String name;
00010:   public final Optional<Exp> eo;
00011: 
00012: 
00013:   public InitDecl (String name, Optional<Exp> eo)
00014:   {
00015:     clogs.util.NonNull.check (name, eo);
00016:     this.name = name;
00017:     this.eo = eo;
00018:   }
00019: }
00020: