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