Class TheoryManager
java.lang.Object
tools.refinery.language.semantics.theory.internal.TheoryManager
-
Constructor Summary
ConstructorsConstructorDescriptionTheoryManager(com.google.inject.Injector injector, org.eclipse.xtext.naming.IQualifiedNameProvider qualifiedNameProvider, BuiltinAnnotationContext builtinAnnotationContext) -
Method Summary
Modifier and TypeMethodDescriptionvoidaddRule(TheoryAction action, TheoryRule rule) voidconfigure(ModelStoreBuilder storeBuilder) voidinitialize(Annotations annotations, ProblemTrace trace, Collection<Problem> importedProblems)
-
Constructor Details
-
TheoryManager
@Inject public TheoryManager(com.google.inject.Injector injector, org.eclipse.xtext.naming.IQualifiedNameProvider qualifiedNameProvider, BuiltinAnnotationContext builtinAnnotationContext)
-
-
Method Details
-
getTheoryProviders
-
initialize
public void initialize(Annotations annotations, ProblemTrace trace, Collection<Problem> importedProblems) -
addRule
-
configure
-