Class CreateNoVariableSetImpl

    • Constructor Detail

      • CreateNoVariableSetImpl

        public CreateNoVariableSetImpl()
    • Method Detail

      • setModelClassKeyLettersLineNumber

        public void setModelClassKeyLettersLineNumber​(int m_modelClassKeyLettersLineNumber)
                                               throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setModelClassKeyLettersLineNumber in interface CreateNoVariableSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setModelClassKeyLettersColumn

        public void setModelClassKeyLettersColumn​(int m_modelClassKeyLettersColumn)
                                           throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setModelClassKeyLettersColumn in interface CreateNoVariableSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setObj_ID

        public void setObj_ID​(io.ciera.runtime.summit.types.UniqueId ref_Obj_ID)
                       throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setObj_ID in interface CreateNoVariableSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setStatement_ID

        public void setStatement_ID​(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID)
                             throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setStatement_ID in interface CreateNoVariableSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_ACT_SMT

        public ACT_SMTSet R603_is_a_ACT_SMT()
                                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R603_is_a_ACT_SMT in interface CreateNoVariableSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException