Package ru.ispras.microtesk.model
Class IsaPrimitiveInfoAnd
- java.lang.Object
-
- ru.ispras.microtesk.model.IsaPrimitiveInfo
-
- ru.ispras.microtesk.model.IsaPrimitiveInfoAnd
-
public abstract class IsaPrimitiveInfoAnd extends IsaPrimitiveInfo
-
-
Constructor Summary
Constructors Modifier Constructor Description protected
IsaPrimitiveInfoAnd(IsaPrimitiveKind kind, java.lang.String name, java.lang.Class<?> objectClass, Type type)
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description protected void
addArgument(java.lang.String name, Type type)
protected void
addArgument(java.lang.String name, IsaPrimitiveInfo info)
protected void
addShortcut(IsaPrimitiveInfoAnd info, java.lang.String... contexts)
abstract IsaPrimitive
create(java.util.Map<java.lang.String,IsaPrimitive> args)
IsaPrimitiveBuilder
createBuilder()
IsaPrimitiveBuilder
createBuilderForShortcut(java.lang.String contextName)
IsaPrimitiveInfo
getArgument(java.lang.String name)
static IsaPrimitive
getArgument(java.lang.String name, java.util.Map<java.lang.String,IsaPrimitive> args)
Extracts an argument from a table.java.util.Set<java.lang.String>
getArgumentNames()
boolean
isSupported(IsaPrimitive primitive)
-
Methods inherited from class ru.ispras.microtesk.model.IsaPrimitiveInfo
getKind, getName, getType
-
-
-
-
Constructor Detail
-
IsaPrimitiveInfoAnd
protected IsaPrimitiveInfoAnd(IsaPrimitiveKind kind, java.lang.String name, java.lang.Class<?> objectClass, Type type)
-
-
Method Detail
-
addArgument
protected final void addArgument(java.lang.String name, Type type)
-
addArgument
protected final void addArgument(java.lang.String name, IsaPrimitiveInfo info)
-
addShortcut
protected final void addShortcut(IsaPrimitiveInfoAnd info, java.lang.String... contexts)
-
isSupported
public final boolean isSupported(IsaPrimitive primitive)
- Specified by:
isSupported
in classIsaPrimitiveInfo
-
getArgumentNames
public java.util.Set<java.lang.String> getArgumentNames()
-
getArgument
public IsaPrimitiveInfo getArgument(java.lang.String name)
-
getArgument
public static IsaPrimitive getArgument(java.lang.String name, java.util.Map<java.lang.String,IsaPrimitive> args)
Extracts an argument from a table.- Parameters:
name
- Argument name.args
- Table of arguments.- Returns:
- Argument.
- Throws:
java.lang.IllegalArgumentException
- if there is no such argument in the table.
-
createBuilder
public final IsaPrimitiveBuilder createBuilder()
-
createBuilderForShortcut
public final IsaPrimitiveBuilder createBuilderForShortcut(java.lang.String contextName)
-
create
public abstract IsaPrimitive create(java.util.Map<java.lang.String,IsaPrimitive> args)
-
-