Class TypeFactory
- java.lang.Object
-
- ru.ispras.microtesk.translator.nml.antlrex.WalkerFactoryBase
-
- ru.ispras.microtesk.translator.nml.antlrex.TypeFactory
-
- All Implemented Interfaces:
WalkerContext
public final class TypeFactory extends WalkerFactoryBase
-
-
Constructor Summary
Constructors Constructor Description TypeFactory(WalkerContext context)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Type
newAlias(Where where, java.lang.String name)
Type
newCard(Where where, Expr bitSize)
Type
newFloat(Where where, Expr fractionBitSize, Expr exponentBitSize)
Type
newInt(Where where, Expr bitSize)
Type
typeOf(Where where, Expr expr)
-
Methods inherited from class ru.ispras.microtesk.translator.nml.antlrex.WalkerFactoryBase
getIr, getReporter, getSymbols, getThisArgs, raiseError, raiseError
-
-
-
-
Constructor Detail
-
TypeFactory
public TypeFactory(WalkerContext context)
-
-
Method Detail
-
newAlias
public Type newAlias(Where where, java.lang.String name) throws SemanticException
- Throws:
SemanticException
-
newInt
public Type newInt(Where where, Expr bitSize) throws SemanticException
- Throws:
SemanticException
-
newCard
public Type newCard(Where where, Expr bitSize) throws SemanticException
- Throws:
SemanticException
-
newFloat
public Type newFloat(Where where, Expr fractionBitSize, Expr exponentBitSize) throws SemanticException
- Throws:
SemanticException
-
typeOf
public Type typeOf(Where where, Expr expr) throws SemanticException
- Throws:
SemanticException
-
-