Class AnnotatedTransitionSystem


  • public class AnnotatedTransitionSystem
    extends java.lang.Object
    Author:
    abolt Wrapper for all the perspectives that we can annotate in a transition system
    • Method Detail

      • getNodeAnnotation

        public Annotation getNodeAnnotation​(java.lang.Object node)
        Returns the annotation object for the given element (state or transition). If the time annotation object for the element does not exist, a new annotation object is created for the element and returned.
        Parameters:
        state - for which to find the annotation
        Returns:
        annotation object for the element