/// <summary> /// Validate that the definition of the class object does not break any rules set by the Smalltalk standard. /// </summary> /// <param name="installer">Context within which the validation is to be performed.</param> /// <returns>Returns true if successful, otherwise false.</returns> protected internal override bool ValidateObject(IDefinitionInstallerContext installer) { if (installer == null) { throw new ArgumentNullException(); } // 1. Get the binding to the global Symbol name = installer.Runtime.GetSymbol(this.Name.Value); ClassBinding binding = installer.GetLocalClassBinding(name); // 2. Check consistency that we didn't mess up in the implementation. if (binding == null) { throw new InvalidOperationException("Should have found a binding, because CreateGlobalBinding() created it!"); } if (binding.Value == null) { throw new InvalidOperationException("Should not be an empty binding, because CreateGlobalObject() just created it!"); } // 3. Get the class object. SmalltalkClass cls = binding.Value; // 4. Validate that superclass is correct List <Symbol> classes = new List <Symbol>(); classes.Add(cls.Name); SmalltalkClass tmp = cls.Superclass; while (tmp != null) { if (classes.IndexOf(tmp.Name) != -1) { return(installer.ReportError(this.SuperclassName, String.Format( InstallerErrors.ClassCircularReference, this.SuperclassName.Value, this.Name.Value))); } classes.Add(tmp.Name); tmp = tmp.Superclass; } if (cls.InstanceState != SmalltalkClass.InstanceStateEnum.ByteIndexable) { tmp = cls; while (tmp != null) { if (tmp.InstanceState == SmalltalkClass.InstanceStateEnum.ByteIndexable) { return(installer.ReportError(this.InstanceState, InstallerErrors.ClassCannotChangeInstanceState)); } tmp = tmp.Superclass; } } foreach (PoolBinding pool in cls.ImportedPoolBindings) { if (pool.Value == null) { SourceReference <string> src = this.ImportedPoolNames.SingleOrDefault(sr => sr.Value == pool.Name.Value); if (src == null) { throw new InvalidOperationException("Should not be null, cause we just added this pool in CreateGlobalObject()."); } return(installer.ReportError(src, InstallerErrors.ClassMissingPoolDefinition)); } } // NB: We must give some source reference, but since we don't have for the whole class, we use the name. installer.RegisterNewClass(cls, this.Name); return(true); // OK }
/// <summary> /// Create the class object (and sets the value of the binding). /// </summary> /// <param name="installer">Context within which the class is to be created.</param> /// <returns>Returns true if successful, otherwise false.</returns> protected internal override bool CreateGlobalObject(IDefinitionInstallerContext installer) { if (installer == null) { throw new ArgumentNullException(); } // 1. Get the binding to the global Symbol name = installer.Runtime.GetSymbol(this.Name.Value); ClassBinding binding = installer.GetLocalClassBinding(name); // 2. Check consistency that we didn't mess up in the implementation. if (binding == null) { throw new InvalidOperationException("Should have found a binding, because CreateGlobalBinding() created it!"); } if (binding.Value != null) { throw new InvalidOperationException("Should be an empty binding, because CreateGlobalBinding() complained if one already existed!"); } // 3. Prepare stuff .... SmalltalkClass.InstanceStateEnum instanceState = this.InstanceState.Value; ClassBinding superclass; if (this.SuperclassName.Value.Length == 0) { superclass = null; // Object has no superclass } else { superclass = installer.GetClassBinding(this.SuperclassName.Value); if (superclass == null) { return(installer.ReportError(this.SuperclassName, InstallerErrors.ClassInvalidSuperclass)); } } // Create the collection of class, class-instance, instance variables and imported pools BindingDictionary <InstanceVariableBinding> instVars = new BindingDictionary <InstanceVariableBinding>(installer.Runtime); DiscreteBindingDictionary <ClassVariableBinding> classVars = new DiscreteBindingDictionary <ClassVariableBinding>(installer.Runtime, this.ClassVariableNames.Count()); BindingDictionary <ClassInstanceVariableBinding> classInstVars = new BindingDictionary <ClassInstanceVariableBinding>(installer.Runtime); DiscreteBindingDictionary <PoolBinding> pools = new DiscreteBindingDictionary <PoolBinding>(installer.Runtime); // Validate class variable names ... foreach (SourceReference <string> identifier in this.ClassVariableNames) { Symbol varName = installer.Runtime.GetSymbol(identifier.Value); if (!IronSmalltalk.Common.Utilities.ValidateIdentifier(identifier.Value)) { return(installer.ReportError(identifier, InstallerErrors.ClassClassVariableNotIdentifier)); } if (classVars.Any <ClassVariableBinding>(varBinding => varBinding.Name == varName)) { return(installer.ReportError(identifier, InstallerErrors.ClassClassVariableNotUnique)); } classVars.Add(new ClassVariableBinding(varName)); } // Validate instance variable names ... foreach (SourceReference <string> identifier in this.InstanceVariableNames) { Symbol varName = installer.Runtime.GetSymbol(identifier.Value); if (!IronSmalltalk.Common.Utilities.ValidateIdentifier(identifier.Value)) { return(installer.ReportError(identifier, InstallerErrors.ClassInstanceVariableNotIdentifier)); } if (((IEnumerable <InstanceVariableBinding>)instVars).Any(varBinding => varBinding.Name == varName)) { return(installer.ReportError(identifier, InstallerErrors.ClassInstanceVariableNotUnique)); } if (classVars.Any <ClassVariableBinding>(varBinding => varBinding.Name == varName)) { return(installer.ReportError(identifier, InstallerErrors.ClassInstanceOrClassVariableNotUnique)); } instVars.Add(new InstanceVariableBinding(varName)); } // Validate class instance variable names ... foreach (SourceReference <string> identifier in this.ClassInstanceVariableNames) { Symbol varName = installer.Runtime.GetSymbol(identifier.Value); if (!IronSmalltalk.Common.Utilities.ValidateIdentifier(identifier.Value)) { return(installer.ReportError(identifier, InstallerErrors.ClassClassInstanceVariableNotIdentifier)); } if (classInstVars.Any <ClassInstanceVariableBinding>(varBinding => varBinding.Name == varName)) { return(installer.ReportError(identifier, InstallerErrors.ClassClassInstanceVariableNotUnique)); } if (classVars.Any <ClassVariableBinding>(varBinding => varBinding.Name == varName)) { return(installer.ReportError(identifier, InstallerErrors.ClassClassInstanceOrClassVariableNotUnique)); } classInstVars.Add(new ClassInstanceVariableBinding(varName)); } // Validate imported pool names ... foreach (SourceReference <string> identifier in this.ImportedPoolNames) { Symbol varName = installer.Runtime.GetSymbol(identifier.Value); if (!IronSmalltalk.Common.Utilities.ValidateIdentifier(identifier.Value)) { return(installer.ReportError(identifier, InstallerErrors.ClassImportedPoolNotIdentifier)); } if (pools.Any <PoolBinding>(varBinding => varBinding.Name == varName)) { return(installer.ReportError(identifier, InstallerErrors.ClassImportedPoolNotUnique)); } PoolBinding pool = installer.GetPoolBinding(varName); if (pool == null) { return(installer.ReportError(identifier, InstallerErrors.ClassImportedPoolNotDefined)); } pools.Add(pool); } // 4. Finally, create the behavior object binding.SetValue(new SmalltalkClass( installer.Runtime, binding.Name, superclass, instanceState, instVars, classVars, classInstVars, pools)); return(true); }