@@ -0,0 +1,962 @@
+package jolie;%0A%0Aimport jolie.lang.parse.OLParser;%0Aimport jolie.lang.parse.ParserException;%0Aimport jolie.lang.parse.Scanner;%0Aimport jolie.lang.parse.ast.Program;%0Aimport jolie.typeChecker.TypeChecker;%0A%0Aimport java.io.File;%0Aimport java.io.FileWriter;%0Aimport java.io.IOException;%0Aimport java.io.Writer;%0A%0Apublic class StaticTypeChecker %7B%0A    public static void main(String%5B%5D args) throws CommandLineException, IOException, ParserException %7B%0A        CommandLineParser cmdParser = new CommandLineParser(args, null, false);%0A%0A        OLParser olParser = new OLParser(new Scanner(cmdParser.programStream(), cmdParser.programFilepath().toURI(), cmdParser.charset()), cmdParser.includePaths(), cmdParser.jolieClassLoader());%0A%0A        Program program = olParser.parse();%0A%0A        File tempFile = new File(%22checker.z3%22);%0A        Writer fw = new FileWriter(tempFile);%0A        TypeChecker checker = new jolie.typeChecker.TypeChecker(fw, program);%0A        checker.run();%0A    %7D%0A%7D%0A

add typechecker main class