Class PetriNet

    • Constructor Detail

      • PetriNet

        public PetriNet()
    • Method Detail

      • addPlace

        public void addPlace​(Place place)
      • addTransition

        public void addTransition​(Transition transition)
      • addPermission

        public void addPermission​(java.lang.String roleId,
                                  java.util.Map<java.lang.String,​java.lang.Boolean> permissions)
      • addNegativeViewRole

        public void addNegativeViewRole​(java.lang.String roleId)
      • addFunction

        public void addFunction​(Function function)
      • addUserPermission

        public void addUserPermission​(java.lang.String usersRefId,
                                      java.util.Map<java.lang.String,​java.lang.Boolean> permissions)
      • getArcsOfTransition

        public java.util.List<Arc> getArcsOfTransition​(Transition transition)
      • getArcsOfTransition

        public java.util.List<Arc> getArcsOfTransition​(java.lang.String transitionId)
      • addDataSetField

        public void addDataSetField​(Field field)
      • isNotInitialized

        public boolean isNotInitialized()
      • addArc

        public void addArc​(Arc arc)
      • getNode

        public Node getNode​(java.lang.String importId)
      • getField

        public java.util.Optional<Field> getField​(java.lang.String id)
      • getPlace

        public Place getPlace​(java.lang.String id)
      • getTransition

        public Transition getTransition​(java.lang.String id)
      • initializeArcs

        public void initializeArcs()
      • initializeTokens

        public void initializeTokens​(java.util.Map<java.lang.String,​java.lang.Integer> activePlaces)
      • initializeArcs

        public void initializeArcs​(java.util.Map<java.lang.String,​DataField> dataSet)
      • getActivePlaces

        public java.util.Map<java.lang.String,​java.lang.Integer> getActivePlaces()
      • addTransaction

        public void addTransaction​(Transaction transaction)
      • getImmediateFields

        public java.util.List<Field> getImmediateFields()
      • isDisplayableInAnyTransition

        public boolean isDisplayableInAnyTransition​(java.lang.String fieldId)
      • incrementVersion

        public void incrementVersion​(VersionType type)
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • setTitle

        public void setTitle​(I18nString title)
      • setTitle

        public void setTitle​(java.lang.String title)
      • getTranslatedDefaultCaseName

        public java.lang.String getTranslatedDefaultCaseName​(java.util.Locale locale)
      • getTranslatedTitle

        public java.lang.String getTranslatedTitle​(java.util.Locale locale)
      • getPreCreateActions

        public java.util.List<Action> getPreCreateActions()
      • getPostCreateActions

        public java.util.List<Action> getPostCreateActions()
      • getPreDeleteActions

        public java.util.List<Action> getPreDeleteActions()
      • getPostDeleteActions

        public java.util.List<Action> getPostDeleteActions()
      • getPreUploadActions

        public java.util.List<Action> getPreUploadActions()
      • getPostUploadActions

        public java.util.List<Action> getPostUploadActions()
      • hasDynamicCaseName

        public boolean hasDynamicCaseName()
      • clone

        public PetriNet clone()
        Overrides:
        clone in class java.lang.Object