From ac5289304a91ede4958eca90b94136b373aa0bc3 Mon Sep 17 00:00:00 2001 From: Levente Bajczi Date: Mon, 10 May 2021 21:36:57 +0200 Subject: [PATCH] Added xcfa-analysis --- settings.gradle.kts | 1 + subprojects/xcfa/.gitignore | 2 ++ subprojects/xcfa/xcfa-analysis/README.md | 9 +++++++++ .../xcfa/xcfa-analysis/build.gradle.kts | 8 ++++++++ .../mit/theta/xcfa/analysis/XcfaAnalysis.java | 20 +++++++++++++++++++ 5 files changed, 40 insertions(+) create mode 100644 subprojects/xcfa/.gitignore create mode 100644 subprojects/xcfa/xcfa-analysis/README.md create mode 100644 subprojects/xcfa/xcfa-analysis/build.gradle.kts create mode 100644 subprojects/xcfa/xcfa-analysis/src/main/java/hu/bme/mit/theta/xcfa/analysis/XcfaAnalysis.java diff --git a/settings.gradle.kts b/settings.gradle.kts index 502905cfc0..569db64c60 100644 --- a/settings.gradle.kts +++ b/settings.gradle.kts @@ -16,6 +16,7 @@ include( "sts/sts-cli", "xcfa/xcfa", + "xcfa/xcfa-analysis", "xcfa/xcfa-cli", "xta/xta", diff --git a/subprojects/xcfa/.gitignore b/subprojects/xcfa/.gitignore new file mode 100644 index 0000000000..168ff79aa2 --- /dev/null +++ b/subprojects/xcfa/.gitignore @@ -0,0 +1,2 @@ +*.bc +*.ll diff --git a/subprojects/xcfa/xcfa-analysis/README.md b/subprojects/xcfa/xcfa-analysis/README.md new file mode 100644 index 0000000000..84fcdeab25 --- /dev/null +++ b/subprojects/xcfa/xcfa-analysis/README.md @@ -0,0 +1,9 @@ +## Overview +TODO: XCFA +This project contains analysis modules related to the Control Flow Automata (CFA) formalism. Its main purpose is to enable the algorithms to operate over CFA models. + +### Related projects + +* [`analysis`](../../common/analysis/README.md): Common analysis modules. +* [`cfa`](../cfa/README.md): Classes to represent CFAs and a domain specific language (DSL) to parse CFAs from a textual representation. +* [`cfa-cli`](../cfa-cli/README.md): An executable tool (command line) for running analyses on CFAs. \ No newline at end of file diff --git a/subprojects/xcfa/xcfa-analysis/build.gradle.kts b/subprojects/xcfa/xcfa-analysis/build.gradle.kts new file mode 100644 index 0000000000..8781399c7e --- /dev/null +++ b/subprojects/xcfa/xcfa-analysis/build.gradle.kts @@ -0,0 +1,8 @@ +plugins { + id("java-common") +} + +dependencies { + compile(project(":theta-cfa-analysis")) + compile(project(":theta-xcfa")) +} diff --git a/subprojects/xcfa/xcfa-analysis/src/main/java/hu/bme/mit/theta/xcfa/analysis/XcfaAnalysis.java b/subprojects/xcfa/xcfa-analysis/src/main/java/hu/bme/mit/theta/xcfa/analysis/XcfaAnalysis.java new file mode 100644 index 0000000000..b11fff8b35 --- /dev/null +++ b/subprojects/xcfa/xcfa-analysis/src/main/java/hu/bme/mit/theta/xcfa/analysis/XcfaAnalysis.java @@ -0,0 +1,20 @@ +/* + * Copyright 2021 Budapest University of Technology and Economics + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +package hu.bme.mit.theta.xcfa.analysis; + +public class XcfaAnalysis { +}