Class ForSmtSetImpl
- All Implemented Interfaces:
io.ciera.runtime.summit.classes.IInstanceSet<ForSmtSet,,ForSmt> io.ciera.runtime.summit.types.ISet<ForSmt>,io.ciera.runtime.summit.types.IXtumlType,ForSmtSet,Iterable<ForSmt>,Collection<ForSmt>,Set<ForSmt>
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionelements()emptySet()emptySet(Comparator<? super ForSmt> comp) voidsetBlock_number(String ref_block_number) voidsetBody_name(String ref_body_name) voidsetControl_block_number(String ref_control_block_number) voidsetIterable_expression_number(String ref_iterable_expression_number) voidsetIterator_block_number(String ref_iterator_block_number) voidsetIterator_name(String ref_iterator_name) voidsetParent_name(String ref_parent_name) voidsetParent_package(String ref_parent_package) voidsetStatement_number(String ref_statement_number) Methods inherited from class io.ciera.runtime.summit.classes.InstanceSet
add, getById1, getById2, getById3, getByInstanceId, removeMethods inherited from class io.ciera.runtime.summit.types.Set
addAll, any, anyWhere, clear, contains, containsAll, difference, difference, disunion, disunion, equality, intersection, intersection, isEmpty, iterator, removeAll, retainAll, size, sorted, sorted, toArray, toArray, union, union, whereMethods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitMethods inherited from interface java.util.Collection
parallelStream, removeIf, stream, toArrayMethods inherited from interface io.ciera.runtime.summit.classes.IInstanceSet
getById1, getById2, getById3, getByInstanceIdMethods inherited from interface io.ciera.runtime.summit.types.ISet
any, anyWhere, difference, difference, disunion, disunion, intersection, intersection, sorted, sorted, union, union, whereMethods inherited from interface io.ciera.runtime.summit.types.IXtumlType
equality, inequality, oneWhere, serialize
-
Constructor Details
-
ForSmtSetImpl
public ForSmtSetImpl() -
ForSmtSetImpl
-
-
Method Details
-
setParent_package
public void setParent_package(String ref_parent_package) throws io.ciera.runtime.summit.exceptions.XtumlException - Specified by:
setParent_packagein interfaceForSmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setBlock_number
public void setBlock_number(String ref_block_number) throws io.ciera.runtime.summit.exceptions.XtumlException - Specified by:
setBlock_numberin interfaceForSmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setIterator_block_number
public void setIterator_block_number(String ref_iterator_block_number) throws io.ciera.runtime.summit.exceptions.XtumlException - Specified by:
setIterator_block_numberin interfaceForSmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setControl_block_number
public void setControl_block_number(String ref_control_block_number) throws io.ciera.runtime.summit.exceptions.XtumlException - Specified by:
setControl_block_numberin interfaceForSmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setIterator_name
public void setIterator_name(String ref_iterator_name) throws io.ciera.runtime.summit.exceptions.XtumlException - Specified by:
setIterator_namein interfaceForSmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setBody_name
public void setBody_name(String ref_body_name) throws io.ciera.runtime.summit.exceptions.XtumlException - Specified by:
setBody_namein interfaceForSmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setStatement_number
public void setStatement_number(String ref_statement_number) throws io.ciera.runtime.summit.exceptions.XtumlException - Specified by:
setStatement_numberin interfaceForSmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setIterable_expression_number
public void setIterable_expression_number(String ref_iterable_expression_number) throws io.ciera.runtime.summit.exceptions.XtumlException - Specified by:
setIterable_expression_numberin interfaceForSmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setParent_name
public void setParent_name(String ref_parent_name) throws io.ciera.runtime.summit.exceptions.XtumlException - Specified by:
setParent_namein interfaceForSmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R451_is_a_Statement
- Specified by:
R451_is_a_Statementin interfaceForSmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R455_has_control_CodeBlock
public CodeBlockSet R455_has_control_CodeBlock() throws io.ciera.runtime.summit.exceptions.XtumlException- Specified by:
R455_has_control_CodeBlockin interfaceForSmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R459_declares_as_iterator_Variable
public VariableSet R459_declares_as_iterator_Variable() throws io.ciera.runtime.summit.exceptions.XtumlException- Specified by:
R459_declares_as_iterator_Variablein interfaceForSmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R478_iterates_over_Expression
public ExpressionSet R478_iterates_over_Expression() throws io.ciera.runtime.summit.exceptions.XtumlException- Specified by:
R478_iterates_over_Expressionin interfaceForSmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
nullElement
- Specified by:
nullElementin interfaceio.ciera.runtime.summit.types.ISet<ForSmt>
-
emptySet
- Specified by:
emptySetin interfaceio.ciera.runtime.summit.types.ISet<ForSmt>
-
emptySet
- Specified by:
emptySetin interfaceio.ciera.runtime.summit.types.ISet<ForSmt>
-
elements
- Specified by:
elementsin interfaceio.ciera.runtime.summit.types.ISet<ForSmt>
-