public ClassDefinition(LexicalScope/*!*/ definedScope, ConstantVariable/*!*/ name, Expression superClass, Body/*!*/ body, SourceSpan location) : base(definedScope, name, body, location) { ContractUtils.RequiresNotNull(name, "name"); _superClass = superClass; }