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
Modifier and TypeMethodDescriptionvoidsetBlock_number(String ref_block_number) voidsetBody_name(String ref_body_name) voidvoidsetParent_name(String ref_parent_name) voidsetParent_package(String ref_parent_package) voidsetReadonly(boolean m_readonly) 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, 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, elements, emptySet, emptySet, intersection, intersection, nullElement, sorted, sorted, union, union, whereMethods inherited from interface io.ciera.runtime.summit.types.IXtumlType
equality, inequality, oneWhere, serialize
-
Method Details
-
setReadonly
void setReadonly(boolean m_readonly) 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
-
setType_package
void setType_package(String ref_type_package) 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
-
setBody_name
- 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
-
setName
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setType_name
- 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
-
setBlock_number
void setBlock_number(String ref_block_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
- 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
-