public ProgramConstruct(ICollection<FunctionConstruct> functions, ExectuableBlockConstruct block) { Contract.Requires(functions != null); Contract.Requires(block != null); Functions = functions; Block = block; }
public FunctionConstruct(IdentifierConstruct name, ICollection<IdentifierConstruct> parameters, ExectuableBlockConstruct controlBlock) { Contract.Requires(name != null); Contract.Requires(parameters != null); Contract.Requires(controlBlock != null); Name = name; Parameters = parameters; ControlBlock = controlBlock; }