Commit 1a5fb9fd authored by Javier Costa's avatar Javier Costa
Browse files

Implemented CFG on jacosro

parents

.gitignore

0 → 100644
+4 −0
Original line number Diff line number Diff line 
*.iml

.idea/

target/

out/

lib/graphlib.jar

0 → 100644
+21.9 KiB

File added.

No diff preview for this file type.

View file

pom.xml

0 → 100644
+40 −0
Original line number Diff line number Diff line 
<?xml version="1.0" encoding="UTF-8"?>

<project xmlns="http://maven.apache.org/POM/4.0.0"

         xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"

         xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">

    <modelVersion>4.0.0</modelVersion>



    <groupId>tfm</groupId>

    <artifactId>tfm</artifactId>

    <version>1.0-SNAPSHOT</version>

    <build>

        <plugins>

            <plugin>

                <groupId>org.apache.maven.plugins</groupId>

                <artifactId>maven-compiler-plugin</artifactId>

                <configuration>

                    <source>8</source>

                    <target>8</target>

                </configuration>

            </plugin>

        </plugins>

    </build>



    <dependencies>



        <dependency>

            <groupId>com.github.javaparser</groupId>

            <artifactId>javaparser-symbol-solver-core</artifactId>

            <version>3.9.1</version>

        </dependency>



        <dependency>

            <groupId>org.jetbrains</groupId>

            <artifactId>annotations-java5</artifactId>

            <version>RELEASE</version>

            <scope>compile</scope>

        </dependency>



    </dependencies>

</project>
 
 No newline at end of file

src/main/java/tfm/graphlib/Main.java

0 → 100644
+18 −0
Original line number Diff line number Diff line 
package tfm.graphlib;



import com.github.javaparser.JavaParser;

import com.github.javaparser.ast.CompilationUnit;

import edg.graphlib.Graph;



import java.io.File;

import java.io.FileNotFoundException;



public class Main {



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

        File file = new File("/home/jacosro/IdeaProjects/TFM/src/main/java/tfm/programs/Example2.java");

        CompilationUnit compilationUnit = JavaParser.parse(file);



        Graph graph = new Graph();

    }

}

src/main/java/tfm/jacosro/Main.java

0 → 100644
+30 −0
Original line number Diff line number Diff line 
package tfm.jacosro;



import com.github.javaparser.JavaParser;

import com.github.javaparser.ast.CompilationUnit;

import tfm.jacosro.graphs.CFGGraph;

import tfm.jacosro.visitors.CFGVisitor;



import java.io.File;

import java.io.FileNotFoundException;



public class Main {



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

        File file = new File("/home/jacosro/IdeaProjects/TFM/src/main/java/tfm/programs/Example2.java");

        CompilationUnit compilationUnit = JavaParser.parse(file);



        CFGGraph<String> graph = new CFGGraph<String>() {

            @Override

            protected String getStartNodeData() {

                return "Start";

            }

        };



        CFGVisitor visitor = new CFGVisitor(graph);



        visitor.visit(compilationUnit, null);



        System.out.println(graph);

    }

}