tan  0.0.1
Public Member Functions | List of all members
tanlang::TypeCheck Class Reference
Inheritance diagram for tanlang::TypeCheck:
Inheritance graph
[legend]
Collaboration diagram for tanlang::TypeCheck:
Collaboration graph
[legend]

Public Member Functions

void run_impl (Package *cu)
 
void VisitIdentifierImpl (Identifier *p)
 
void VisitParenthesisImpl (Parenthesis *p)
 
void VisitIfImpl (If *p)
 
void VisitVarDeclImpl (VarDecl *p)
 
void VisitArgDeclImpl (ArgDecl *p)
 
void VisitReturnImpl (Return *p)
 
void VisitCompoundStmtImpl (CompoundStmt *p)
 
void VisitBinaryOrUnaryImpl (BinaryOrUnary *p)
 
void VisitBinaryOperatorImpl (BinaryOperator *p)
 
void VisitUnaryOperatorImpl (UnaryOperator *p)
 
void VisitCastImpl (Cast *p)
 
void VisitAssignmentImpl (Assignment *p)
 
void VisitFunctionCallImpl (FunctionCall *p)
 
void VisitFunctionDeclImpl (FunctionDecl *p)
 
void VisitImportImpl (Import *p)
 
void VisitIntrinsicImpl (Intrinsic *p)
 
void VisitArrayLiteralImpl (ArrayLiteral *p)
 
void VisitCharLiteralImpl (CharLiteral *p)
 
void VisitBoolLiteralImpl (BoolLiteral *p)
 
void VisitIntegerLiteralImpl (IntegerLiteral *p)
 
void VisitFloatLiteralImpl (FloatLiteral *p)
 
void VisitStringLiteralImpl (StringLiteral *p)
 
void VisitMemberAccessImpl (MemberAccess *p)
 
void VisitStructDeclImpl (StructDecl *p)
 
void VisitLoopImpl (Loop *p)
 
void VisitBreakContinueImpl (BreakContinue *p)
 
- Public Member Functions inherited from tanlang::CompilerAction< Derived, Input, Output >
Output run (Input input)
 
- Public Member Functions inherited from tanlang::ASTVisitor< Derived >
void VisitProgram (Program *p)
 
void VisitPackage (Package *p)
 
void VisitIdentifier (Identifier *p)
 
void VisitParenthesis (Parenthesis *p)
 
void VisitIf (If *p)
 
void VisitVarDecl (VarDecl *p)
 
void VisitArgDecl (ArgDecl *p)
 
void VisitReturn (Return *p)
 
void VisitCompoundStmt (CompoundStmt *p)
 
void VisitBinaryOrUnary (BinaryOrUnary *p)
 
void VisitBinaryOperator (BinaryOperator *p)
 
void VisitUnaryOperator (UnaryOperator *p)
 
void VisitCast (Cast *p)
 
void VisitAssignment (Assignment *p)
 
void VisitFunctionCall (FunctionCall *p)
 
void VisitFunctionDecl (FunctionDecl *p)
 
void VisitImport (Import *p)
 
void VisitIntrinsic (Intrinsic *p)
 
void VisitArrayLiteral (ArrayLiteral *p)
 
void VisitCharLiteral (CharLiteral *p)
 
void VisitBoolLiteral (BoolLiteral *p)
 
void VisitIntegerLiteral (IntegerLiteral *p)
 
void VisitFloatLiteral (FloatLiteral *p)
 
void VisitStringLiteral (StringLiteral *p)
 
void VisitNullPointerLiteral (NullPointerLiteral *p)
 
void VisitMemberAccess (MemberAccess *p)
 
void VisitStructDecl (StructDecl *p)
 
void VisitLoop (Loop *p)
 
void VisitBreakContinue (BreakContinue *p)
 
void VisitVarRef (VarRef *p)
 
void VisitPackageDecl (PackageDecl *p)
 
void visit (ASTBase *p)
 
virtual void default_visit (ASTBase *)
 

Additional Inherited Members

- Public Types inherited from tanlang::CompilerAction< Derived, Input, Output >
using CompilerActionType = CompilerAction< Derived, Input, Output >
 
- Protected Member Functions inherited from tanlang::SemanticAnalysisAction< TypeCheck, Package *, void >
void error (ErrorType type, ASTBase *p, const str &message)
 
void push_scope (ASTBase *scope)
 
void pop_scope ()
 
Context * ctx ()
 
Context * top_ctx ()
 
Decl * search_decl_in_scopes (const str &name)
 
T * search_node_in_parent_scopes ()
 
- Protected Member Functions inherited from tanlang::CompilerAction< Derived, Input, Output >
virtual void init (Input)
 

Detailed Description

Definition at line 17 of file type_check.h.

The documentation for this class was generated from the following files: