public static void main()

in src/main/java/workspace/Main.java [50:122]
22 lines of code
2 McCabe index (conditional complexity)

    public static void main(String[] args) throws Exception {

        File file = new File("C:\\Users\\kat-lab\\Documents\\Overture\\workspace\\STACK\\stack.vdmpp");


//        Settings.dialect = Dialect.VDM_PP;
//        LexTokenReader ltr = new LexTokenReader(file, Dialect.VDM_PP);
//        ClassReader cr = new ClassReader(ltr);
//        ASTClassList cl = cr.readClasses();
//        System.out.println(cl);


//
//        LexTokenReader ltr2 = new LexTokenReader(file, Dialect.VDM_PP);
//        DefinitionReader dr = new DefinitionReader(ltr2);
//        ListIterator<ASTDefinition> ast = dr.readDefinitions().listIterator();
//
//        ast.forEachRemaining(d -> {
//                    System.out.println("＃access\r\n" + d.accessSpecifier);
//                    //System.out.println("＃location\r\n" + d.location);
//                    System.out.println("＃name\r\n" + d.name);
//                    System.out.println("＃kind\r\n" + d.kind());
//                    System.out.println("＃body\r\n" + d.toString());
//
//                    System.out.println("----------------------------------------------------------------");
//
//                }
//        );


//        TCImplicitFunctionDefinition tcfunction = new TCImplicitFunctionDefinition();


//        LexTokenReader ltr3 = new LexTokenReader(file,Dialect.VDM_PP);
//        ClassReader cr = new ClassReader(ltr3);
//        ASTClassList astcl = cr.readClasses();
//
//        TCClassList tccl = ClassMapper.getInstance(TCNode.MAPPINGS).init().convert(astcl);


        LexTokenReader ltr4 = new LexTokenReader(file, Dialect.VDM_PP);
        DefinitionReader dr = new DefinitionReader(ltr4);
        ASTDefinitionList astdl = dr.readDefinitions();

        TCDefinitionList tcdl = ClassMapper.getInstance(TCNode.MAPPINGS).init().convert(astdl);


        tcdl.forEach(d -> {
            System.out.println("#location\r\n" + d.location + "\r\n");
            System.out.println("#kind\r\n" + d.kind() + "\r\n");
            System.out.println("#access\r\n" + d.accessSpecifier + "\r\n");
            System.out.println("#name\r\n" + d.name + "\r\n");
            System.out.println("#type\r\n" + d.getType() + "\r\n");
            System.out.println("#body\r\n" + d.deref() + "\r\n");

            TCFunctionType tcft = d.getType().getFunction();

//            System.out.println(tcft);

            if( tcft != null){
                System.out.println("#pretype\r\n" + tcft.getPreType() + "\r\n");
                System.out.println("#posttype\r\n" + tcft.getPostType() + "\r\n");
            }

            System.out.println("------------------------------------------------");

                }
        );




    }