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 StatementSet
R457_is_declared_by_Statement()
VariableInScopeSet
R458_is_in_scope_for_VariableInScope()
ForSmtSet
R459_is_iterator_for_ForSmt()
TypeReferenceSet
R461_is_typed_by_TypeReference()
FinalizationSet
R485_finalized_by_Finalization()
VariableReferenceSet
R782_referenced_through_VariableReference()
void
setBlock_number(String ref_block_number)
void
setBody_name(String ref_body_name)
void
setName(String m_name)
void
setParent_name(String ref_parent_name)
void
setParent_package(String ref_parent_package)
void
setStatement_number(String ref_statement_number)
void
setType_name(String ref_type_name)
void
setType_package(String ref_type_package)
void
setType_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
-
setParent_name
void setParent_name(String ref_parent_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_package
void setType_package(String ref_type_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
-
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
-
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
-
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
-
-