Package: IPogAssistantFactory

IPogAssistantFactory

Coverage

1: package org.overture.pog.pub;
2:
3: import org.overture.pog.utility.PDefinitionAssistantPOG;
4: import org.overture.pog.utility.UniqueNameGenerator;
5: import org.overture.pog.visitors.*;
6: import org.overture.typechecker.assistant.ITypeCheckerAssistantFactory;
7:
8: /**
9: * A factory for creating assistants at the POG level.
10: */
11: public interface IPogAssistantFactory extends ITypeCheckerAssistantFactory {
12:
13:         /*
14:          * (non-Javadoc)
15:          *
16:          * @see org.overture.typechecker.assistant.ITypeCheckerAssistantFactory#
17:          * createPDefinitionAssistant()
18:          */
19:         PDefinitionAssistantPOG createPDefinitionAssistant();
20:
21:         StateDesignatorNameGetter getStateDesignatorNameGetter();
22:
23:         IVariableSubVisitor getVarSubVisitor();
24:
25:         ILocaleExtractVisitor getLocaleExtractVisitor();
26:
27:         IInvExpGetVisitor getInvExpGetVisitor();
28:
29:         PatternToExpVisitor getPatternToExpVisitor(
30:                         UniqueNameGenerator uniqueNameGen);
31:
32: }