internal CodeType(string name, string fullName, CodeLocation location, CodeElement parent) : base(name, fullName, location, parent) { Contract.Requires(!string.IsNullOrEmpty(name)); Contract.Requires(!string.IsNullOrEmpty(fullName)); Contract.Requires(location != null); Contract.Requires(parent != null); }
public CodeStatementBlock(string name, string fullName, CodeLocation location, CodeElement parent) : base(name, fullName, location, parent) { Contract.Requires(!string.IsNullOrEmpty(name)); Contract.Requires(!string.IsNullOrEmpty(fullName)); Contract.Requires(location != null); Contract.Requires(parent != null); }
internal CodeElement(string name, string fullName, CodeLocation location, CodeElement parent) { Contract.Requires(!string.IsNullOrEmpty(name)); Contract.Requires(!string.IsNullOrEmpty(fullName)); Contract.Requires(location != null); _name = name; _fullName = fullName; _location = location; _parent = parent; _children = new List<CodeElement>(); }