Example 1 with DeltaModellingException
use of org.abs_models.frontend.delta.DeltaModellingException in project abstools by abstools.
the class ABSTest method assertParseFilesOk.
protected Model assertParseFilesOk(Set<String> fileNames, Config... config) throws IOException, InternalBackendException, DeltaModellingException, WrongProgramArgumentException {
Main main = new Main();
java.util.List<File> files = fileNames.stream().map(f -> new File(resolveFileName(f))).collect(Collectors.toList());
Model m = main.parse(files);
return assertParseModelOk(m, config);
}
Also used :
FilenameFilter(java.io.FilenameFilter)
Arrays(java.util.Arrays)
SemanticCondition(org.abs_models.frontend.analyser.SemanticCondition)
Set(java.util.Set)
IOException(java.io.IOException)
EXPECT_TYPE_ERROR(org.abs_models.ABSTest.Config.EXPECT_TYPE_ERROR)
Collectors(java.util.stream.Collectors)
EXPECT_PARSE_ERROR(org.abs_models.ABSTest.Config.EXPECT_PARSE_ERROR)
WITHOUT_DESUGARING_AFTER_TYPECHECK(org.abs_models.ABSTest.Config.WITHOUT_DESUGARING_AFTER_TYPECHECK)
File(java.io.File)
LocationTypeExtension(org.abs_models.frontend.typechecker.locationtypes.LocationTypeExtension)
WrongProgramArgumentException(org.abs_models.common.WrongProgramArgumentException)
TYPE_CHECK(org.abs_models.ABSTest.Config.TYPE_CHECK)
Main(org.abs_models.frontend.parser.Main)
SemanticConditionList(org.abs_models.frontend.analyser.SemanticConditionList)
StringReader(java.io.StringReader)
Model(org.abs_models.frontend.ast.Model)
WITH_LOC_INF(org.abs_models.ABSTest.Config.WITH_LOC_INF)
Assert.fail(org.junit.Assert.fail)
InternalBackendException(org.abs_models.backend.common.InternalBackendException)
WITHOUT_MODULE_NAME(org.abs_models.ABSTest.Config.WITHOUT_MODULE_NAME)
DeltaModellingException(org.abs_models.frontend.delta.DeltaModellingException)
Model(org.abs_models.frontend.ast.Model)
Main(org.abs_models.frontend.parser.Main)
File(java.io.File)
Aggregations
File (java.io.File)1
FilenameFilter (java.io.FilenameFilter)1
IOException (java.io.IOException)1
StringReader (java.io.StringReader)1
Arrays (java.util.Arrays)1
Set (java.util.Set)1
Collectors (java.util.stream.Collectors)1
EXPECT_PARSE_ERROR (org.abs_models.ABSTest.Config.EXPECT_PARSE_ERROR)1
EXPECT_TYPE_ERROR (org.abs_models.ABSTest.Config.EXPECT_TYPE_ERROR)1
TYPE_CHECK (org.abs_models.ABSTest.Config.TYPE_CHECK)1
WITHOUT_DESUGARING_AFTER_TYPECHECK (org.abs_models.ABSTest.Config.WITHOUT_DESUGARING_AFTER_TYPECHECK)1
WITHOUT_MODULE_NAME (org.abs_models.ABSTest.Config.WITHOUT_MODULE_NAME)1
WITH_LOC_INF (org.abs_models.ABSTest.Config.WITH_LOC_INF)1
InternalBackendException (org.abs_models.backend.common.InternalBackendException)1
WrongProgramArgumentException (org.abs_models.common.WrongProgramArgumentException)1
SemanticCondition (org.abs_models.frontend.analyser.SemanticCondition)1
SemanticConditionList (org.abs_models.frontend.analyser.SemanticConditionList)1
Model (org.abs_models.frontend.ast.Model)1
DeltaModellingException (org.abs_models.frontend.delta.DeltaModellingException)1
Main (org.abs_models.frontend.parser.Main)1
