Package moise.os

Class OS

  • All Implemented Interfaces:
    java.io.Serializable, java.lang.Comparable, Identifiable, ToXML

    public class OS
    extends MoiseElement
    implements ToXML
    Represents an Organization Specification (SS, FS, NS).
    Author:
    Jomi Fred Hubner
    See Also:
    Serialized Form
    • Field Detail

      • ss

        protected SS ss
      • fs

        protected FS fs
      • ns

        protected NS ns
      • uri

        protected java.lang.String uri
    • Constructor Detail

      • OS

        public OS()
    • Method Detail

      • setSS

        public void setSS​(SS s)
      • setFS

        public void setFS​(FS f)
      • setNS

        public void setNS​(NS n)
      • setURI

        public void setURI​(java.lang.String u)
      • getURI

        public java.lang.String getURI()
      • addSS

        public void addSS​(SS s)
                   throws MoiseException
        adds the elements (roles definitions, link types, ...) of another SS into this OS
        Throws:
        MoiseException
      • addFS

        public void addFS​(FS f)
        adds the scheme of another FS into this OS
      • addNS

        public void addNS​(NS d)
        adds the norms of another NS into this OS
      • getSS

        public SS getSS()
      • getFS

        public FS getFS()
      • getNS

        public NS getNS()
      • getAsProlog

        public java.lang.String getAsProlog()
        returns a string representing the goal in Prolog syntax, format: os(id, root group, [schemes], [norms])
      • getXMLTag

        public static java.lang.String getXMLTag()
      • getAsDOM

        public org.w3c.dom.Element getAsDOM​(org.w3c.dom.Document document)
        Specified by:
        getAsDOM in interface ToXML
      • loadOSFromURI

        public static OS loadOSFromURI​(java.lang.String uri)
      • setFromDOM

        public void setFromDOM​(org.w3c.dom.Node node)
                        throws MoiseException
        the organisation-specification parent node is the parameter
        Throws:
        MoiseException
      • main

        public static void main​(java.lang.String[] args)
        used to convert old format to the new