package abstractSyntaxTree.Statement; import TypeCheck.TypeCheckResult; public interface IStatement { TypeCheckResult typeCheck() throws Exception; // visit method for code generation }