Package org.eclipse.xsemantics.dsl.util

Class XsemanticsUtils

java.lang.Object

org.eclipse.xsemantics.dsl.util.XsemanticsUtils

public class XsemanticsUtils
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
XsemanticsUtils()

Method Summary

Modifier and Type	Method	Description
java.lang.Iterable<AuxiliaryDescription>	allAuxiliaryDescriptions(XsemanticsSystem system)
java.lang.Iterable<CheckRule>	allCheckRules(XsemanticsSystem system)
java.lang.Iterable<JudgmentDescription>	allJudgments(XsemanticsSystem system)
java.util.Map<org.eclipse.xtext.xbase.lib.Pair<java.lang.String,org.eclipse.emf.common.util.EList<java.lang.String>>,JudgmentDescription>	allJudgmentsRepresentations(XsemanticsSystem system)
java.lang.Iterable<Rule>	allRules(XsemanticsSystem system)
java.util.List<Rule>	allRulesByJudgmentDescription(XsemanticsSystem ts, java.lang.String judgmentSymbol, java.lang.Iterable<java.lang.String> relationSymbols)
java.util.List<XsemanticsSystem>	allSuperSystemDefinitions(XsemanticsSystem system)
protected java.util.List<XsemanticsSystem>	allSuperSystemDefinitionsInternal(XsemanticsSystem system, java.util.Set<XsemanticsSystem> visited)
java.util.Map<java.lang.String,AuxiliaryDescription>	auxiliaryDescriptionsByName(XsemanticsSystem system)
org.eclipse.xtext.xbase.XExpression	cacheCondition(Cachable c)
boolean	cacheEntryPointMethods(Cachable c)
OrExpression	containingOrExpression(org.eclipse.emf.ecore.EObject element)
Rule	containingRule(org.eclipse.emf.ecore.EObject element)
XsemanticsSystem	containingSystem(org.eclipse.emf.ecore.EObject element)
java.util.List<ExpressionInConclusion>	expressionsInConclusion(Rule rule)
java.lang.Iterable<Rule>	filterRulesByJudgmentDescription(java.lang.Iterable<Rule> rules, java.lang.String judgmentSymbol, java.lang.Iterable<java.lang.String> relationSymbols)
java.lang.Iterable<Rule>	filterRulesByJudgmentDescription(XsemanticsSystem ts, java.lang.String judgmentSymbol, java.lang.Iterable<java.lang.String> relationSymbols)
java.util.List<AuxiliaryFunction>	functionsForAuxiliaryDescrition(AuxiliaryDescription aux)
AuxiliaryDescription	getAuxiliaryDescription(AuxiliaryFunction fun)
JudgmentDescription	getJudgmentDescription(ReferToJudgment e)
boolean	hasOutputParams(RuleInvocation ruleInvocation)
java.util.ArrayList<org.eclipse.xtext.xbase.XExpression>	inputArgsExpressions(RuleInvocation ruleInvocation)
java.util.List<InputParameter>	inputParams(JudgmentDescription judgmentDescription)
org.eclipse.emf.common.util.EList<RuleParameter>	inputParams(Rule rule)
boolean	isInputParam(RuleParameter ruleParameter)
boolean	isInputParam(org.eclipse.xtext.common.types.JvmFormalParameter jvmFormalParameter)
boolean	isOutputParam(RuleParameter ruleParameter)
boolean	isOutputParameter(JudgmentParameter j)
XsemanticsSystem	originalSystemDefinition(org.eclipse.xtext.common.types.JvmTypeReference typeReference)
java.util.ArrayList<org.eclipse.xtext.xbase.XExpression>	outputArgsExpressions(RuleInvocation ruleInvocation)
java.util.List<RuleConclusionElement>	outputConclusionElements(Rule rule)
java.util.List<OutputParameter>	outputJudgmentParameters(JudgmentDescription judgmentDescription)
java.util.List<RuleParameter>	outputParams(Rule rule)
java.util.List<OutputParameter>	outputParams(RuleInvocation ruleInvocation)
java.lang.Iterable<Rule>	rulesForJudgmentDescription(JudgmentDescription judgmentDescription)
XsemanticsSystem	superSystemDefinition(XsemanticsSystem system)
boolean	validInputArgExpression(org.eclipse.xtext.xbase.XExpression ruleInvocationExpression)
boolean	validOutputArgExpression(org.eclipse.xtext.xbase.XExpression xexp)

Methods inherited from class java.lang.Object

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

Constructor Detail

XsemanticsUtils

public XsemanticsUtils()

Method Detail

containingSystem

public XsemanticsSystem containingSystem(org.eclipse.emf.ecore.EObject element)

containingRule

public Rule containingRule(org.eclipse.emf.ecore.EObject element)

containingOrExpression

public OrExpression containingOrExpression(org.eclipse.emf.ecore.EObject element)

getJudgmentDescription

public JudgmentDescription getJudgmentDescription(ReferToJudgment e)

getAuxiliaryDescription

public AuxiliaryDescription getAuxiliaryDescription(AuxiliaryFunction fun)

rulesForJudgmentDescription

public java.lang.Iterable<Rule> rulesForJudgmentDescription(JudgmentDescription judgmentDescription)

functionsForAuxiliaryDescrition

public java.util.List<AuxiliaryFunction> functionsForAuxiliaryDescrition(AuxiliaryDescription aux)

filterRulesByJudgmentDescription

public java.lang.Iterable<Rule> filterRulesByJudgmentDescription(XsemanticsSystem ts,
                                                                 java.lang.String judgmentSymbol,
                                                                 java.lang.Iterable<java.lang.String> relationSymbols)

filterRulesByJudgmentDescription

public java.lang.Iterable<Rule> filterRulesByJudgmentDescription(java.lang.Iterable<Rule> rules,
                                                                 java.lang.String judgmentSymbol,
                                                                 java.lang.Iterable<java.lang.String> relationSymbols)

isOutputParameter

public boolean isOutputParameter(JudgmentParameter j)

outputJudgmentParameters

public java.util.List<OutputParameter> outputJudgmentParameters(JudgmentDescription judgmentDescription)

outputConclusionElements

public java.util.List<RuleConclusionElement> outputConclusionElements(Rule rule)

outputParams

public java.util.List<OutputParameter> outputParams(RuleInvocation ruleInvocation)

inputParams

public java.util.List<InputParameter> inputParams(JudgmentDescription judgmentDescription)

inputParams

public org.eclipse.emf.common.util.EList<RuleParameter> inputParams(Rule rule)

isInputParam

public boolean isInputParam(RuleParameter ruleParameter)

isOutputParam

public boolean isOutputParam(RuleParameter ruleParameter)

isInputParam

public boolean isInputParam(org.eclipse.xtext.common.types.JvmFormalParameter jvmFormalParameter)

outputParams

public java.util.List<RuleParameter> outputParams(Rule rule)

hasOutputParams

public boolean hasOutputParams(RuleInvocation ruleInvocation)

expressionsInConclusion

public java.util.List<ExpressionInConclusion> expressionsInConclusion(Rule rule)

outputArgsExpressions

public java.util.ArrayList<org.eclipse.xtext.xbase.XExpression> outputArgsExpressions(RuleInvocation ruleInvocation)

validOutputArgExpression

public boolean validOutputArgExpression(org.eclipse.xtext.xbase.XExpression xexp)

validInputArgExpression

public boolean validInputArgExpression(org.eclipse.xtext.xbase.XExpression ruleInvocationExpression)

inputArgsExpressions

public java.util.ArrayList<org.eclipse.xtext.xbase.XExpression> inputArgsExpressions(RuleInvocation ruleInvocation)

allJudgments

public java.lang.Iterable<JudgmentDescription> allJudgments(XsemanticsSystem system)

allRules

public java.lang.Iterable<Rule> allRules(XsemanticsSystem system)

allRulesByJudgmentDescription

public java.util.List<Rule> allRulesByJudgmentDescription(XsemanticsSystem ts,
                                                          java.lang.String judgmentSymbol,
                                                          java.lang.Iterable<java.lang.String> relationSymbols)

allCheckRules

public java.lang.Iterable<CheckRule> allCheckRules(XsemanticsSystem system)

allAuxiliaryDescriptions

public java.lang.Iterable<AuxiliaryDescription> allAuxiliaryDescriptions(XsemanticsSystem system)

allSuperSystemDefinitions

public java.util.List<XsemanticsSystem> allSuperSystemDefinitions(XsemanticsSystem system)

allSuperSystemDefinitionsInternal

protected java.util.List<XsemanticsSystem> allSuperSystemDefinitionsInternal(XsemanticsSystem system,
                                                                             java.util.Set<XsemanticsSystem> visited)

superSystemDefinition

public XsemanticsSystem superSystemDefinition(XsemanticsSystem system)

originalSystemDefinition

public XsemanticsSystem originalSystemDefinition(org.eclipse.xtext.common.types.JvmTypeReference typeReference)

allJudgmentsRepresentations

public java.util.Map<org.eclipse.xtext.xbase.lib.Pair<java.lang.String,org.eclipse.emf.common.util.EList<java.lang.String>>,JudgmentDescription> allJudgmentsRepresentations(XsemanticsSystem system)

auxiliaryDescriptionsByName

public java.util.Map<java.lang.String,AuxiliaryDescription> auxiliaryDescriptionsByName(XsemanticsSystem system)

cacheEntryPointMethods

public boolean cacheEntryPointMethods(Cachable c)

cacheCondition

public org.eclipse.xtext.xbase.XExpression cacheCondition(Cachable c)