Interface VariableSet
-
- All Superinterfaces:
Collection<Variable>,io.ciera.runtime.summit.classes.IInstanceSet<VariableSet,Variable>,io.ciera.runtime.summit.types.ISet<Variable>,Iterable<Variable>,io.ciera.runtime.summit.types.IXtumlType,Set<Variable>
- All Known Implementing Classes:
VariableSetImpl
public interface VariableSet extends io.ciera.runtime.summit.classes.IInstanceSet<VariableSet,Variable>
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description StatementSetR457_is_declared_by_Statement()VariableInScopeSetR458_is_in_scope_for_VariableInScope()ForSmtSetR459_is_iterator_for_ForSmt()TypeReferenceSetR461_is_typed_by_TypeReference()FinalizationSetR485_finalized_by_Finalization()VariableReferenceSetR782_referenced_through_VariableReference()voidsetBlock_number(String ref_block_number)voidsetBody_name(String ref_body_name)voidsetName(String m_name)voidsetParent_name(String ref_parent_name)voidsetParent_package(String ref_parent_package)voidsetStatement_number(String ref_statement_number)voidsetType_name(String ref_type_name)voidsetType_package(String ref_type_package)voidsetType_reference_name(String ref_type_reference_name)-
Methods inherited from interface java.util.Collection
parallelStream, removeIf, stream, toArray
-
Methods inherited from interface io.ciera.runtime.summit.classes.IInstanceSet
getById1, getById2, getById3, getByInstanceId
-
Methods inherited from interface io.ciera.runtime.summit.types.ISet
any, anyWhere, difference, difference, disunion, disunion, elements, emptySet, emptySet, intersection, intersection, nullElement, sorted, sorted, union, union, where
-
-
-
-
Method Detail
-
setBlock_number
void setBlock_number(String ref_block_number) throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setBody_name
void setBody_name(String ref_body_name) throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setParent_package
void setParent_package(String ref_parent_package) throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setType_name
void setType_name(String ref_type_name) throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setType_package
void setType_package(String ref_type_package) throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setName
void setName(String m_name) throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setType_reference_name
void setType_reference_name(String ref_type_reference_name) throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setParent_name
void setParent_name(String ref_parent_name) throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setStatement_number
void setStatement_number(String ref_statement_number) throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R457_is_declared_by_Statement
StatementSet R457_is_declared_by_Statement() throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R458_is_in_scope_for_VariableInScope
VariableInScopeSet R458_is_in_scope_for_VariableInScope() throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R459_is_iterator_for_ForSmt
ForSmtSet R459_is_iterator_for_ForSmt() throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R461_is_typed_by_TypeReference
TypeReferenceSet R461_is_typed_by_TypeReference() throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R485_finalized_by_Finalization
FinalizationSet R485_finalized_by_Finalization() throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R782_referenced_through_VariableReference
VariableReferenceSet R782_referenced_through_VariableReference() throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
-