Class GeneralFileSetImpl

    • Constructor Detail

      • GeneralFileSetImpl

        public GeneralFileSetImpl()
    • Method Detail

      • setName

        public void setName​(String ref_name)
                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setName in interface GeneralFileSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setContents

        public void setContents​(String m_contents)
                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setContents in interface GeneralFileSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setPackage

        public void setPackage​(String ref_package)
                        throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setPackage in interface GeneralFileSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R401_is_a_File

        public FileSet R401_is_a_File()
                               throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R401_is_a_File in interface GeneralFileSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • nullElement

        public GeneralFile nullElement()
        Specified by:
        nullElement in interface io.ciera.runtime.summit.types.ISet<GeneralFile>
      • emptySet

        public GeneralFileSet emptySet()
        Specified by:
        emptySet in interface io.ciera.runtime.summit.types.ISet<GeneralFile>
      • elements

        public List<GeneralFile> elements()
        Specified by:
        elements in interface io.ciera.runtime.summit.types.ISet<GeneralFile>