@Check(CheckType.FAST)
public void checkUnusedEntry(final Entry entry) {
if (entry.getParentRegion().getComposite() instanceof org.yakindu.sct.model.sgraph.State
&& entry.getIncomingTransitions().isEmpty()) {
org.yakindu.sct.model.sgraph.State state =
(org.yakindu.sct.model.sgraph.State) entry.getParentRegion().getComposite();
if (!STextValidationModelUtils.isDefault(entry)) {
boolean hasIncomingTransition = false;
Iterator<Transition> transitionIt = state.getIncomingTransitions().iterator();
while (transitionIt.hasNext() && !hasIncomingTransition) {
Iterator<ReactionProperty> propertyIt = transitionIt.next().getProperties().iterator();
while (propertyIt.hasNext() && !hasIncomingTransition) {
ReactionProperty property = propertyIt.next();
if (property instanceof EntryPointSpec) {
hasIncomingTransition =
entry.getName().equals(((EntryPointSpec) property).getEntrypoint());
}
}
}
if (!hasIncomingTransition) {
warning(ENTRY_UNUSED, entry, null, -1);
}
}
}
}
@Check(CheckType.FAST)
public void checkUnusedExit(final Exit exit) {
if (exit.getParentRegion().getComposite() instanceof org.yakindu.sct.model.sgraph.State
&& exit.getOutgoingTransitions().isEmpty()) {
org.yakindu.sct.model.sgraph.State state =
(org.yakindu.sct.model.sgraph.State) exit.getParentRegion().getComposite();
if (!STextValidationModelUtils.isDefault(exit)) {
boolean hasOutgoingTransition = false;
Iterator<Transition> transitionIt = state.getOutgoingTransitions().iterator();
while (transitionIt.hasNext() && !hasOutgoingTransition) {
Transition transition = transitionIt.next();
hasOutgoingTransition =
STextValidationModelUtils.isDefaultExitTransition(transition)
? true
: STextValidationModelUtils.isNamedExitTransition(transition, exit.getName());
}
if (!hasOutgoingTransition) {
error(EXIT_UNUSED, exit, null, -1);
}
} else {
boolean hasOutgoingTransition = false;
Iterator<Transition> transitionIt = state.getOutgoingTransitions().iterator();
while (transitionIt.hasNext() && !hasOutgoingTransition) {
hasOutgoingTransition =
STextValidationModelUtils.isDefaultExitTransition(transitionIt.next());
}
if (!hasOutgoingTransition) {
error(EXIT_DEFAULT_UNUSED, exit, null, -1);
}
}
}
}
