void TypeAnalyzer::assertFQClassCanBeProvided(string fqclassname) { ReadOnlyPropertySymbolTable* bound = reference->findFullyQualified(fqclassname); if(bound->isAbstract()) throw new SemanticError(ABSTRACT_PROVISION); }
void TypeAnalyzer::assertClassCanBeBound(Type* binding) { ReadOnlyPropertySymbolTable* bound = reference->find(binding->typedata._class.classname); if(bound->isAbstract()) throw new SemanticError(ABSTRACT_PROVISION); }