Class TheoryManager

java.lang.Object

tools.refinery.language.semantics.theory.internal.TheoryManager

public class TheoryManager
extends Object

Constructor Summary

Constructors

Constructor	Description
TheoryManager(com.google.inject.Injector injector, org.eclipse.xtext.naming.IQualifiedNameProvider qualifiedNameProvider)

Method Summary

Modifier and Type	Method	Description
void	addRule(TheoryAction action, TheoryRule rule)
void	configure(ModelStoreBuilder storeBuilder)
void	initialize(Annotations annotations, ProblemTrace trace, Collection<Problem> importedProblems)

Methods inherited from class Object

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

Constructor Details

TheoryManager

@Inject
public TheoryManager(com.google.inject.Injector injector,
 org.eclipse.xtext.naming.IQualifiedNameProvider qualifiedNameProvider)

Method Details

initialize

public void initialize(Annotations annotations,
 ProblemTrace trace,
 Collection<Problem> importedProblems)

addRule

public void addRule(TheoryAction action,
 TheoryRule rule)

configure

public void configure(ModelStoreBuilder storeBuilder)