Lines Matching refs:Checker
36 Checker::Checker()
44 void Checker::Initialize(varbinder::VarBinder *varbinder)
51 std::string Checker::FormatMsg(std::initializer_list<TypeErrorMessageElement> list)
78 void Checker::ThrowTypeError(std::initializer_list<TypeErrorMessageElement> list, const lexer::SourcePosition &pos)
83 void Checker::ThrowTypeError(std::string_view message, const lexer::SourcePosition &pos)
91 void Checker::LogTypeError(std::initializer_list<TypeErrorMessageElement> list, const lexer::SourcePosition &pos)
96 void Checker::LogTypeError(std::string_view message, const lexer::SourcePosition &pos)
104 void Checker::Warning(const std::string_view message, const lexer::SourcePosition &pos) const
115 void Checker::ReportWarning(std::initializer_list<TypeErrorMessageElement> list, const lexer::SourcePosition &pos)
120 bool Checker::IsAllTypesAssignableTo(Type *source, Type *target)
132 bool Checker::IsTypeIdenticalTo(Type *source, Type *target)
137 bool Checker::IsTypeIdenticalTo(Type *source, Type *target, const std::string &errMsg,
147 bool Checker::IsTypeIdenticalTo(Type *source, Type *target, std::initializer_list<TypeErrorMessageElement> list,
157 bool Checker::IsTypeAssignableTo(Type *source, Type *target)
162 bool Checker::IsTypeAssignableTo(Type *source, Type *target, const std::string &errMsg,
172 bool Checker::IsTypeAssignableTo(Type *source, Type *target, std::initializer_list<TypeErrorMessageElement> list,
182 bool Checker::IsTypeComparableTo(Type *source, Type *target)
187 bool Checker::IsTypeComparableTo(Type *source, Type *target, const std::string &errMsg,
197 bool Checker::IsTypeComparableTo(Type *source, Type *target, std::initializer_list<TypeErrorMessageElement> list,
207 bool Checker::AreTypesComparable(Type *source, Type *target)
212 bool Checker::IsTypeEqualityComparableTo(Type *source, Type *target)
217 parser::Program *Checker::Program() const
222 void Checker::SetProgram(parser::Program *program)
227 varbinder::VarBinder *Checker::VarBinder() const
232 void Checker::SetAnalyzer(SemanticAnalyzer *analyzer)
237 checker::SemanticAnalyzer *Checker::GetAnalyzer() const