Package crypto.cryslhandler

Class CrySLReaderUtils

java.lang.Object

crypto.cryslhandler.CrySLReaderUtils

public class CrySLReaderUtils
extends Object

Constructor Summary

Constructors

Constructor	Description
CrySLReaderUtils()

Method Summary

Modifier and Type	Method	Description
static Optional<CrySLArithmeticConstraint.ArithOp>	arithOpFromOperator(de.darmstadt.tu.crossing.crySL.Operator operator)
static Optional<CrySLComparisonConstraint.CompOp>	compOpFromOperator(de.darmstadt.tu.crossing.crySL.Operator operator)
static File	getResourceFromWithin(String inputPath)
static boolean	isArithmeticExpression(de.darmstadt.tu.crossing.crySL.Constraint constraint)
static boolean	isComparisonExpression(de.darmstadt.tu.crossing.crySL.Constraint constraint)
static boolean	isLogicExpression(de.darmstadt.tu.crossing.crySL.Constraint constraint)
static Optional<CrySLConstraint.LogOps>	logOpFromOperator(de.darmstadt.tu.crossing.crySL.Operator operator)
static Collection<CrySLMethod>	resolveEventsToCryslMethods(Collection<de.darmstadt.tu.crossing.crySL.Event> events)
static Stream<CrySLMethod>	resolveEventsToCryslMethodsStream(Collection<de.darmstadt.tu.crossing.crySL.Event> events)
static Collection<CrySLMethod>	resolveEventToCryslMethods(de.darmstadt.tu.crossing.crySL.Event event)
protected static Stream<CrySLMethod>	resolveEventToCryslMethodsStream(de.darmstadt.tu.crossing.crySL.Aggregate aggregate)
static Stream<CrySLMethod>	resolveEventToCryslMethodsStream(de.darmstadt.tu.crossing.crySL.Event event)
protected static Stream<CrySLMethod>	resolveEventToCryslMethodsStream(de.darmstadt.tu.crossing.crySL.LabeledMethodCall event)
static List<ICrySLPredicateParameter>	resolveEventToPredicateParameters(de.darmstadt.tu.crossing.crySL.Event event)
static Collection<CrySLException>	resolveExceptions(de.darmstadt.tu.crossing.crySL.Exception exception)
static Stream<CrySLException>	resolveExceptionsStream(de.darmstadt.tu.crossing.crySL.Exception exception)
protected static Stream<CrySLException>	resolveExceptionsStream(de.darmstadt.tu.crossing.crySL.ExceptionAggregate exception)
protected static Stream<CrySLException>	resolveExceptionsStream(de.darmstadt.tu.crossing.crySL.ExceptionDeclaration exception)
static Map.Entry<String,String>	resolveObject(de.darmstadt.tu.crossing.crySL.Object o)
static CrySLException	toCrySLException(de.darmstadt.tu.crossing.crySL.ExceptionDeclaration exception)
static CrySLMethod	toCrySLMethod(de.darmstadt.tu.crossing.crySL.ForbiddenMethod method)
static CrySLMethod	toCrySLMethod(de.darmstadt.tu.crossing.crySL.Method method)
static CrySLObject	toCrySLObject(de.darmstadt.tu.crossing.crySL.Literal literal)
static CrySLObject	toCrySLObject(de.darmstadt.tu.crossing.crySL.Object object)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CrySLReaderUtils

public CrySLReaderUtils()

Method Detail

resolveEventToCryslMethods

public static Collection<CrySLMethod> resolveEventToCryslMethods(de.darmstadt.tu.crossing.crySL.Event event)

resolveEventToPredicateParameters

public static List<ICrySLPredicateParameter> resolveEventToPredicateParameters(de.darmstadt.tu.crossing.crySL.Event event)

resolveEventsToCryslMethods

public static Collection<CrySLMethod> resolveEventsToCryslMethods(Collection<de.darmstadt.tu.crossing.crySL.Event> events)

resolveEventsToCryslMethodsStream

public static Stream<CrySLMethod> resolveEventsToCryslMethodsStream(Collection<de.darmstadt.tu.crossing.crySL.Event> events)

resolveEventToCryslMethodsStream

public static Stream<CrySLMethod> resolveEventToCryslMethodsStream(de.darmstadt.tu.crossing.crySL.Event event)

resolveEventToCryslMethodsStream

protected static Stream<CrySLMethod> resolveEventToCryslMethodsStream(de.darmstadt.tu.crossing.crySL.Aggregate aggregate)

resolveEventToCryslMethodsStream

protected static Stream<CrySLMethod> resolveEventToCryslMethodsStream(de.darmstadt.tu.crossing.crySL.LabeledMethodCall event)

toCrySLMethod

public static CrySLMethod toCrySLMethod(de.darmstadt.tu.crossing.crySL.ForbiddenMethod method)

toCrySLMethod

public static CrySLMethod toCrySLMethod(de.darmstadt.tu.crossing.crySL.Method method)

toCrySLObject

public static CrySLObject toCrySLObject(de.darmstadt.tu.crossing.crySL.Object object)

toCrySLObject

public static CrySLObject toCrySLObject(de.darmstadt.tu.crossing.crySL.Literal literal)

resolveExceptions

public static Collection<CrySLException> resolveExceptions(de.darmstadt.tu.crossing.crySL.Exception exception)

resolveExceptionsStream

public static Stream<CrySLException> resolveExceptionsStream(de.darmstadt.tu.crossing.crySL.Exception exception)

resolveExceptionsStream

protected static Stream<CrySLException> resolveExceptionsStream(de.darmstadt.tu.crossing.crySL.ExceptionAggregate exception)

resolveExceptionsStream

protected static Stream<CrySLException> resolveExceptionsStream(de.darmstadt.tu.crossing.crySL.ExceptionDeclaration exception)

toCrySLException

public static CrySLException toCrySLException(de.darmstadt.tu.crossing.crySL.ExceptionDeclaration exception)

resolveObject

public static Map.Entry<String,String> resolveObject(de.darmstadt.tu.crossing.crySL.Object o)

getResourceFromWithin

public static File getResourceFromWithin(String inputPath)

arithOpFromOperator

public static Optional<CrySLArithmeticConstraint.ArithOp> arithOpFromOperator(de.darmstadt.tu.crossing.crySL.Operator operator)

logOpFromOperator

public static Optional<CrySLConstraint.LogOps> logOpFromOperator(de.darmstadt.tu.crossing.crySL.Operator operator)

compOpFromOperator

public static Optional<CrySLComparisonConstraint.CompOp> compOpFromOperator(de.darmstadt.tu.crossing.crySL.Operator operator)

isArithmeticExpression

public static boolean isArithmeticExpression(de.darmstadt.tu.crossing.crySL.Constraint constraint)

isLogicExpression

public static boolean isLogicExpression(de.darmstadt.tu.crossing.crySL.Constraint constraint)

isComparisonExpression

public static boolean isComparisonExpression(de.darmstadt.tu.crossing.crySL.Constraint constraint)