Commit 9276f91e authored by Simone Vuotto's avatar Simone Vuotto

Replace backend with submodule

parent 34925f7f
[submodule "backend"]
path = backend
url = https://gitlab.sagelab.it/sage/reqv-backend.git
SpecPro @ 3c573ce6
Subproject commit 3c573ce6d854c252fd18fc2400d3f409cadd12a9
Subproject commit 043076d62fe8e0fba393e82a6cd81a87fca55385
.gradle
/build/
!gradle/wrapper/gradle-wrapper.jar
### STS ###
.apt_generated
.classpath
.factorypath
.project
.settings
.springBeans
### IntelliJ IDEA ###
.idea
*.iws
*.iml
*.ipr
### NetBeans ###
nbproject/private/
build/
nbbuild/
dist/
nbdist/
.nb-gradle/
### Submodules ###
snl2fl/
\ No newline at end of file
[submodule "SpecPro"]
path = SpecPro
url = https://github.com/SimoV8/SpecPro.git
buildscript {
ext {
springBootVersion = '1.5.9.RELEASE'
}
repositories {
mavenCentral()
}
dependencies {
classpath("org.springframework.boot:spring-boot-gradle-plugin:${springBootVersion}")
}
}
apply plugin: 'java'
apply plugin: 'idea'
apply plugin: 'org.springframework.boot'
group = 'it.unige'
version = '0.0.1-SNAPSHOT'
sourceCompatibility = 1.8
repositories {
mavenCentral()
}
dependencies {
compile('org.springframework.boot:spring-boot-starter-data-jpa')
compile('org.springframework.boot:spring-boot-starter-data-rest')
compile('org.springframework.boot:spring-boot-starter-web')
compile("org.springframework.boot:spring-boot-starter-security")
compile("io.springfox:springfox-swagger2:2.8.0")
compile("io.springfox:springfox-swagger-ui:2.8.0")
compile("io.jsonwebtoken:jjwt:0.7.0")
compile project(':SpecPro')
runtime('org.postgresql:postgresql')
testCompile('org.springframework.boot:spring-boot-starter-test')
testCompile('org.apache.httpcomponents:httpclient:4.5.3')
testCompile('com.h2database:h2')
}
#Fri Dec 15 15:47:18 CET 2017
distributionBase=GRADLE_USER_HOME
distributionPath=wrapper/dists
zipStoreBase=GRADLE_USER_HOME
zipStorePath=wrapper/dists
distributionUrl=https\://services.gradle.org/distributions/gradle-3.5.1-all.zip
#!/usr/bin/env sh
##############################################################################
##
## Gradle start up script for UN*X
##
##############################################################################
# Attempt to set APP_HOME
# Resolve links: $0 may be a link
PRG="$0"
# Need this for relative symlinks.
while [ -h "$PRG" ] ; do
ls=`ls -ld "$PRG"`
link=`expr "$ls" : '.*-> \(.*\)$'`
if expr "$link" : '/.*' > /dev/null; then
PRG="$link"
else
PRG=`dirname "$PRG"`"/$link"
fi
done
SAVED="`pwd`"
cd "`dirname \"$PRG\"`/" >/dev/null
APP_HOME="`pwd -P`"
cd "$SAVED" >/dev/null
APP_NAME="Gradle"
APP_BASE_NAME=`basename "$0"`
# Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
DEFAULT_JVM_OPTS=""
# Use the maximum available, or set MAX_FD != -1 to use that value.
MAX_FD="maximum"
warn ( ) {
echo "$*"
}
die ( ) {
echo
echo "$*"
echo
exit 1
}
# OS specific support (must be 'true' or 'false').
cygwin=false
msys=false
darwin=false
nonstop=false
case "`uname`" in
CYGWIN* )
cygwin=true
;;
Darwin* )
darwin=true
;;
MINGW* )
msys=true
;;
NONSTOP* )
nonstop=true
;;
esac
CLASSPATH=$APP_HOME/gradle/wrapper/gradle-wrapper.jar
# Determine the Java command to use to start the JVM.
if [ -n "$JAVA_HOME" ] ; then
if [ -x "$JAVA_HOME/jre/sh/java" ] ; then
# IBM's JDK on AIX uses strange locations for the executables
JAVACMD="$JAVA_HOME/jre/sh/java"
else
JAVACMD="$JAVA_HOME/bin/java"
fi
if [ ! -x "$JAVACMD" ] ; then
die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME
Please set the JAVA_HOME variable in your environment to match the
location of your Java installation."
fi
else
JAVACMD="java"
which java >/dev/null 2>&1 || die "ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.
Please set the JAVA_HOME variable in your environment to match the
location of your Java installation."
fi
# Increase the maximum file descriptors if we can.
if [ "$cygwin" = "false" -a "$darwin" = "false" -a "$nonstop" = "false" ] ; then
MAX_FD_LIMIT=`ulimit -H -n`
if [ $? -eq 0 ] ; then
if [ "$MAX_FD" = "maximum" -o "$MAX_FD" = "max" ] ; then
MAX_FD="$MAX_FD_LIMIT"
fi
ulimit -n $MAX_FD
if [ $? -ne 0 ] ; then
warn "Could not set maximum file descriptor limit: $MAX_FD"
fi
else
warn "Could not query maximum file descriptor limit: $MAX_FD_LIMIT"
fi
fi
# For Darwin, add options to specify how the application appears in the dock
if $darwin; then
GRADLE_OPTS="$GRADLE_OPTS \"-Xdock:name=$APP_NAME\" \"-Xdock:icon=$APP_HOME/media/gradle.icns\""
fi
# For Cygwin, switch paths to Windows format before running java
if $cygwin ; then
APP_HOME=`cygpath --path --mixed "$APP_HOME"`
CLASSPATH=`cygpath --path --mixed "$CLASSPATH"`
JAVACMD=`cygpath --unix "$JAVACMD"`
# We build the pattern for arguments to be converted via cygpath
ROOTDIRSRAW=`find -L / -maxdepth 1 -mindepth 1 -type d 2>/dev/null`
SEP=""
for dir in $ROOTDIRSRAW ; do
ROOTDIRS="$ROOTDIRS$SEP$dir"
SEP="|"
done
OURCYGPATTERN="(^($ROOTDIRS))"
# Add a user-defined pattern to the cygpath arguments
if [ "$GRADLE_CYGPATTERN" != "" ] ; then
OURCYGPATTERN="$OURCYGPATTERN|($GRADLE_CYGPATTERN)"
fi
# Now convert the arguments - kludge to limit ourselves to /bin/sh
i=0
for arg in "$@" ; do
CHECK=`echo "$arg"|egrep -c "$OURCYGPATTERN" -`
CHECK2=`echo "$arg"|egrep -c "^-"` ### Determine if an option
if [ $CHECK -ne 0 ] && [ $CHECK2 -eq 0 ] ; then ### Added a condition
eval `echo args$i`=`cygpath --path --ignore --mixed "$arg"`
else
eval `echo args$i`="\"$arg\""
fi
i=$((i+1))
done
case $i in
(0) set -- ;;
(1) set -- "$args0" ;;
(2) set -- "$args0" "$args1" ;;
(3) set -- "$args0" "$args1" "$args2" ;;
(4) set -- "$args0" "$args1" "$args2" "$args3" ;;
(5) set -- "$args0" "$args1" "$args2" "$args3" "$args4" ;;
(6) set -- "$args0" "$args1" "$args2" "$args3" "$args4" "$args5" ;;
(7) set -- "$args0" "$args1" "$args2" "$args3" "$args4" "$args5" "$args6" ;;
(8) set -- "$args0" "$args1" "$args2" "$args3" "$args4" "$args5" "$args6" "$args7" ;;
(9) set -- "$args0" "$args1" "$args2" "$args3" "$args4" "$args5" "$args6" "$args7" "$args8" ;;
esac
fi
# Escape application args
save ( ) {
for i do printf %s\\n "$i" | sed "s/'/'\\\\''/g;1s/^/'/;\$s/\$/' \\\\/" ; done
echo " "
}
APP_ARGS=$(save "$@")
# Collect all arguments for the java command, following the shell quoting and substitution rules
eval set -- $DEFAULT_JVM_OPTS $JAVA_OPTS $GRADLE_OPTS "\"-Dorg.gradle.appname=$APP_BASE_NAME\"" -classpath "\"$CLASSPATH\"" org.gradle.wrapper.GradleWrapperMain "$APP_ARGS"
# by default we should be in the correct project dir, but when run from Finder on Mac, the cwd is wrong
if [ "$(uname)" = "Darwin" ] && [ "$HOME" = "$PWD" ]; then
cd "$(dirname "$0")"
fi
exec "$JAVACMD" "$@"
@if "%DEBUG%" == "" @echo off
@rem ##########################################################################
@rem
@rem Gradle startup script for Windows
@rem
@rem ##########################################################################
@rem Set local scope for the variables with windows NT shell
if "%OS%"=="Windows_NT" setlocal
set DIRNAME=%~dp0
if "%DIRNAME%" == "" set DIRNAME=.
set APP_BASE_NAME=%~n0
set APP_HOME=%DIRNAME%
@rem Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
set DEFAULT_JVM_OPTS=
@rem Find java.exe
if defined JAVA_HOME goto findJavaFromJavaHome
set JAVA_EXE=java.exe
%JAVA_EXE% -version >NUL 2>&1
if "%ERRORLEVEL%" == "0" goto init
echo.
echo ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.
echo.
echo Please set the JAVA_HOME variable in your environment to match the
echo location of your Java installation.
goto fail
:findJavaFromJavaHome
set JAVA_HOME=%JAVA_HOME:"=%
set JAVA_EXE=%JAVA_HOME%/bin/java.exe
if exist "%JAVA_EXE%" goto init
echo.
echo ERROR: JAVA_HOME is set to an invalid directory: %JAVA_HOME%
echo.
echo Please set the JAVA_HOME variable in your environment to match the
echo location of your Java installation.
goto fail
:init
@rem Get command-line arguments, handling Windows variants
if not "%OS%" == "Windows_NT" goto win9xME_args
:win9xME_args
@rem Slurp the command line arguments.
set CMD_LINE_ARGS=
set _SKIP=2
:win9xME_args_slurp
if "x%~1" == "x" goto execute
set CMD_LINE_ARGS=%*
:execute
@rem Setup the command line
set CLASSPATH=%APP_HOME%\gradle\wrapper\gradle-wrapper.jar
@rem Execute Gradle
"%JAVA_EXE%" %DEFAULT_JVM_OPTS% %JAVA_OPTS% %GRADLE_OPTS% "-Dorg.gradle.appname=%APP_BASE_NAME%" -classpath "%CLASSPATH%" org.gradle.wrapper.GradleWrapperMain %CMD_LINE_ARGS%
:end
@rem End local scope for the variables with windows NT shell
if "%ERRORLEVEL%"=="0" goto mainEnd
:fail
rem Set variable GRADLE_EXIT_CONSOLE if you need the _script_ return code instead of
rem the _cmd.exe /c_ return code!
if not "" == "%GRADLE_EXIT_CONSOLE%" exit 1
exit /b 1
:mainEnd
if "%OS%"=="Windows_NT" endlocal
:omega
rootProject.name = 'ReqV'
include 'SpecPro'
\ No newline at end of file
package it.unige.ReqV;
import org.springframework.boot.SpringApplication;
import org.springframework.boot.autoconfigure.SpringBootApplication;
import org.springframework.context.annotation.Bean;
import org.springframework.security.crypto.bcrypt.BCryptPasswordEncoder;
@SpringBootApplication
public class ReqVApplication {
@Bean
public BCryptPasswordEncoder bCryptPasswordEncoder() {
return new BCryptPasswordEncoder();
}
public static void main(String[] args) {
SpringApplication.run(ReqVApplication.class, args);
}
}
package it.unige.ReqV;
import org.springframework.core.Ordered;
import org.springframework.core.annotation.Order;
import org.springframework.http.HttpStatus;
import org.springframework.http.ResponseEntity;
import org.springframework.web.bind.annotation.ControllerAdvice;
import org.springframework.web.bind.annotation.ExceptionHandler;
import org.springframework.web.servlet.mvc.method.annotation.ResponseEntityExceptionHandler;
import javax.persistence.EntityNotFoundException;
import javax.servlet.http.HttpServletRequest;
import java.util.Date;
import java.util.LinkedHashMap;
@Order(Ordered.HIGHEST_PRECEDENCE)
@ControllerAdvice
public class RestExceptionHandler extends ResponseEntityExceptionHandler {
@ExceptionHandler(EntityNotFoundException.class)
protected ResponseEntity<Object> handleEntityNotFoundException(EntityNotFoundException ex, HttpServletRequest request) {
return getResponse(ex.getMessage(), HttpStatus.NOT_FOUND, request);
}
protected ResponseEntity<Object> getResponse(String message, HttpStatus status, HttpServletRequest request) {
LinkedHashMap<String, Object> data = new LinkedHashMap<>();
data.put("timestamp", new Date());
data.put("status", status.value());
data.put("error", status);
data.put("message", message);
data.put("path", request.getRequestURL().toString());
return new ResponseEntity<>(data, status);
}
}
package it.unige.ReqV;
import org.springframework.context.annotation.Bean;
import org.springframework.context.annotation.Configuration;
import springfox.documentation.builders.PathSelectors;
import springfox.documentation.builders.RequestHandlerSelectors;
import springfox.documentation.spi.DocumentationType;
import springfox.documentation.spring.web.plugins.Docket;
import springfox.documentation.swagger2.annotations.EnableSwagger2;
@Configuration
@EnableSwagger2
public class SwaggerConfig {
@Bean
public Docket api() {
return new Docket(DocumentationType.SWAGGER_2)
.select()
.apis(RequestHandlerSelectors.any())
.paths(PathSelectors.any())
.build();
}
}
package it.unige.ReqV.engine;
import it.unige.ReqV.projects.ProjectType;
public class EngineFactory {
public static ProjectEngine getEngine(ProjectType type) {
if(type.getName().equals("snl2fl"))
return new Snl2FlEngine();
throw new IllegalArgumentException("No engine available for type \""+type.getName()+"\".");
}
}
package it.unige.ReqV.engine;
import it.unige.ReqV.requirements.Requirement;
import java.io.ByteArrayOutputStream;
import java.util.List;
public interface ProjectEngine {
Requirement validate(Requirement req);
public ByteArrayOutputStream translate(List<Requirement> reqList);
}
package it.unige.ReqV.engine;
import it.sagelab.consistency.ConsistencyChecker;
import it.sagelab.consistency.InconsistencyFinder;
import it.sagelab.fe.snl2fl.Snl2FlException;
import it.sagelab.fe.snl2fl.Snl2FlParser;
import it.sagelab.reasoners.NuSMV;
import it.sagelab.reasoners.translators.nusmv.NuSMVTranslator;
import it.unige.ReqV.projects.tasks.Task;
import it.unige.ReqV.projects.tasks.TaskRepository;
import it.unige.ReqV.requirements.Requirement;
import java.io.ByteArrayOutputStream;
import java.io.File;
import java.io.IOException;
import java.util.List;
import java.util.concurrent.atomic.AtomicInteger;
public class Snl2FlEngine implements ProjectEngine {
public Requirement validate(Requirement req) {
Snl2FlParser parser = new Snl2FlParser();
try {
parser.parseString(req.getText());
req.setState(Requirement.State.COMPLIANT);
} catch (Snl2FlException e) {
req.setState(Requirement.State.ERROR);
req.setErrorDescription(e.getMessage());
}
return req;
}
public ByteArrayOutputStream translate(List<Requirement> reqList) {
Snl2FlParser parser = new Snl2FlParser();
try {
for(Requirement req: reqList) {
parser.parseString(req.getText());
}
ByteArrayOutputStream stream = new ByteArrayOutputStream();
parser.translate(new NuSMVTranslator(), stream);
return stream;
} catch (Snl2FlException e) {
return null;
}
}
public void runConsistencyCheck(TaskRepository taskRepository, Task task, List<Requirement> reqList) {
try {
Snl2FlParser parser = new Snl2FlParser();
parseReqList(parser, reqList);
File tempFile = File.createTempFile("/tmp/out_" + task.getProject().getId(), ".nusmv");
ConsistencyChecker cc = new ConsistencyChecker(new NuSMV(300), parser, tempFile.getAbsolutePath());
final long taskId = task.getId();
cc.runAsync((res) -> {
Task runningTask = taskRepository.findOne(taskId);
if (res == ConsistencyChecker.Result.CONSISTENT)
runningTask.setStatus(Task.Status.SUCCESS);
else
runningTask.setStatus(Task.Status.FAIL);
runningTask.appendLog(cc.getMc().getMessage());
taskRepository.save(runningTask);
tempFile.delete();
});
} catch (Snl2FlException | IOException e) {
task.appendLog("[ERROR] " + e.getMessage());
}
}
public void runInconsistencyExplanation(TaskRepository taskRepository, Task task, List<Requirement> reqList) {
try {
Snl2FlParser parser = new Snl2FlParser();
parseReqList(parser, reqList);
File tempFile = File.createTempFile("/tmp/out_" + task.getProject().getId(), ".nusmv");
ConsistencyChecker cc = new ConsistencyChecker(new NuSMV(300), parser, tempFile.getAbsolutePath());
InconsistencyFinder inconsistencyFinder = new InconsistencyFinder(cc);
AtomicInteger counter = new AtomicInteger();
final long taskId = task.getId();
final int reqSize = reqList.size();
inconsistencyFinder.runAsync(
(requirement, result) -> {
Task runningTask = taskRepository.findOne(taskId);
if(result == ConsistencyChecker.Result.FAIL) {
runningTask.appendLog("[ERROR] Error occured during consistency check");
runningTask.setStatus(Task.Status.FAIL);
}
else
runningTask.appendLog(counter.incrementAndGet() + "/" + reqSize);
taskRepository.save(runningTask);
},
(inconsistentReqs) -> {
Task runningTask = taskRepository.findOne(taskId);
runningTask.appendLog("\n\n##################################################################");
runningTask.appendLog("Minimal Unsatisfiable core of " + inconsistentReqs.size() + " requirements found:");
for(it.sagelab.models.psp.Requirement r : inconsistentReqs)
runningTask.appendLog(r.getText());
runningTask.setStatus(Task.Status.SUCCESS);
taskRepository.save(runningTask);
tempFile.delete();
});
} catch (Snl2FlException | IOException e) {
task.appendLog("[ERROR] " + e.getMessage());
}
}
private void parseReqList(Snl2FlParser parser, List<Requirement> reqList) {
for (Requirement req : reqList) {
parser.parseString(req.getText());
}
}
}
package it.unige.ReqV.projects;
import com.fasterxml.jackson.annotation.JsonIgnore;
import it.unige.ReqV.user.User;
import javax.persistence.*;
import javax.validation.constraints.NotNull;
@Entity
public class Project {
@Id
@GeneratedValue(strategy = GenerationType.AUTO)
private Long id;
@NotNull
private String name;
private String description;
@JsonIgnore
@ManyToOne
private User owner;
@ManyToOne
@NotNull
private ProjectType type;
public Project() { }
public Project(String name, String description, User owner, ProjectType projectType) {
this.name = name;
this.description = description;
this.owner = owner;
this.type = projectType;
}
public Long getId() {
return id;
}
public void setId(Long id) {
this.id = id;
}
public String getName() {
return name;
}
public void setName(String name) {
this.name = name;
}
public String getDescription() { return description; }
public void setDescription(String description) { this.description = description; }
public User getOwner() {
return owner;
}
public void setOwner(User owner) {
this.owner = owner;
}
public ProjectType getType() {
return type;
}
public void setType(ProjectType type) {
this.type = type;
}
}
package it.unige.ReqV.projects;
import org.springframework.beans.factory.annotation.Autowired;
import org.springframework.http.HttpStatus;
import org.springframework.http.ResponseEntity;
import org.springframework.web.bind.annotation.*;
import javax.validation.Valid;
import java.util.List;
@RestController
@RequestMapping("/projects")
public class ProjectController {
private ProjectService projectService;
@Autowired
public ProjectController(ProjectService projectService) {
this.projectService = projectService;
}
@GetMapping("/types")
public List<ProjectType> getTypes() {
return projectService.getTypes();
}
@GetMapping
public List<Project> getProjects() {
return projectService.getProjectsOfAuthUser();
}
@GetMapping("/{id}")
public Project getProject(@PathVariable("id") Long id) {
return projectService.getProjectOfAuthUser(id);
}
@PostMapping
public ResponseEntity<?> createProject(@Valid @RequestBody Project project) {
project = projectService.save(project);