Uses of Class
com.io7m.jpra.model.statements.StatementCommandType

Packages that use StatementCommandType

Package	Description
com.io7m.jpra.compiler.core.checker	Type checking.
com.io7m.jpra.compiler.core.resolver	Name resolution.
com.io7m.jpra.model.statements	Statements.

Uses of StatementCommandType in com.io7m.jpra.compiler.core.checker

Methods in com.io7m.jpra.compiler.core.checker that return StatementCommandType

Modifier and Type	Method and Description
StatementCommandType<IdentifierType,TType>	JPRACheckerType.checkCommandType(StatementCommandType<IdentifierType,Untyped> s) Check a :type command.
StatementCommandType<IdentifierType,TType>	JPRAChecker.checkCommandType(StatementCommandType<IdentifierType,Untyped> s)

Methods in com.io7m.jpra.compiler.core.checker with parameters of type StatementCommandType

Modifier and Type	Method and Description
StatementCommandType<IdentifierType,TType>	JPRACheckerType.checkCommandType(StatementCommandType<IdentifierType,Untyped> s) Check a :type command.
StatementCommandType<IdentifierType,TType>	JPRAChecker.checkCommandType(StatementCommandType<IdentifierType,Untyped> s)

Uses of StatementCommandType in com.io7m.jpra.compiler.core.resolver

Methods in com.io7m.jpra.compiler.core.resolver that return StatementCommandType

Modifier and Type	Method and Description
StatementCommandType<IdentifierType,Untyped>	JPRAResolverType.resolveCommandType(StatementCommandType<Unresolved,Untyped> s) Resolve a :type command.
StatementCommandType<IdentifierType,Untyped>	JPRAResolver.resolveCommandType(StatementCommandType<Unresolved,Untyped> s)

Methods in com.io7m.jpra.compiler.core.resolver with parameters of type StatementCommandType

Modifier and Type	Method and Description
StatementCommandType<IdentifierType,Untyped>	JPRAResolverType.resolveCommandType(StatementCommandType<Unresolved,Untyped> s) Resolve a :type command.
StatementCommandType<IdentifierType,Untyped>	JPRAResolver.resolveCommandType(StatementCommandType<Unresolved,Untyped> s)

Uses of StatementCommandType in com.io7m.jpra.model.statements

Methods in com.io7m.jpra.model.statements with parameters of type StatementCommandType

Modifier and Type	Method and Description
A	StatementMatcherType.matchShowType(StatementCommandType<I,T> s) Match a :type command.