Package ru.ispras.microtesk.model
Class IsaPrimitiveInfo
- java.lang.Object
-
- ru.ispras.microtesk.model.IsaPrimitiveInfo
-
- Direct Known Subclasses:
Immediate.Info
,IsaPrimitiveInfoAnd
,IsaPrimitiveInfoOr
public abstract class IsaPrimitiveInfo extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description IsaPrimitiveInfo(IsaPrimitiveKind kind, java.lang.String name, Type type)
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description IsaPrimitiveKind
getKind()
java.lang.String
getName()
Type
getType()
abstract boolean
isSupported(IsaPrimitive primitive)
-
-
-
Constructor Detail
-
IsaPrimitiveInfo
public IsaPrimitiveInfo(IsaPrimitiveKind kind, java.lang.String name, Type type)
-
-
Method Detail
-
getKind
public final IsaPrimitiveKind getKind()
-
getName
public final java.lang.String getName()
-
getType
public final Type getType()
-
isSupported
public abstract boolean isSupported(IsaPrimitive primitive)
-
-