internal Transition(IEvent @event, ParsedStatenode source, IEnumerable <ParsedStatenode> targets, Actionblock actions, Option <Guard> guard, bool isForbidden) { Event = @event; Source = source; Targets = targets; Actions = actions; Guard = guard; IsForbidden = isForbidden; }
protected ParsedStatenode( ParsedStatenode parent, string name, Option <string> uniqueIdentifier, int documentIndex, Actionblock entryActions, Actionblock exitActions) { Parent = parent.ToOption(); Name = name; UniqueIdentifier = uniqueIdentifier; DocumentIndex = documentIndex; EntryActions = entryActions; ExitActions = exitActions; Id = new StatenodeId(Parent, name); Depth = Parent.Map(p => p.Depth + 1).ValueOr(0); }