def __init__(self, grammarController, currentTransition):
self.grammarController = grammarController
self.currentTransition = currentTransition
if self.currentTransition is None:
self.idTransition = str(uuid.uuid4())
else:
self.idTransition = self.currentTransition.getID()
self._view = CreateCloseChannelTransitionView(self, self.idTransition)
self.log = logging.getLogger(__name__)
if self.currentTransition is not None:
self.view.idEntry.set_text(self.idTransition)
self.view.nameEntry.set_text(self.currentTransition.getName())
self.view.timeEntry.set_text(
str(self.currentTransition.getDisconnectionTime()))
# Retrieves the list of states
states = []
currentProject = self.grammarController.getCurrentProject()
if currentProject is not None:
automata = currentProject.getGrammar().getAutomata()
if automata is not None:
states.extend(automata.getStates())
# Set the start state
i = 0
for state in states:
if str(state.getID()) == self.currentTransition.getInputState(
).getID():
self.view.startStateComboBox.set_active(i)
break
i += 1
# Set the end state
i = 0
for state in states:
if str(state.getID()) == self.currentTransition.getOutputState(
).getID():
self.view.endStateComboBox.set_active(i)
break
i += 1
def __init__(self, grammarController, currentTransition):
self.grammarController = grammarController
self.currentTransition = currentTransition
if self.currentTransition is None:
self.idTransition = str(uuid.uuid4())
else:
self.idTransition = self.currentTransition.getID()
self._view = CreateCloseChannelTransitionView(self, self.idTransition)
self.log = logging.getLogger(__name__)
if self.currentTransition is not None:
self.view.idEntry.set_text(self.idTransition)
self.view.nameEntry.set_text(self.currentTransition.getName())
self.view.timeEntry.set_text(str(self.currentTransition.getDisconnectionTime()))
# Retrieves the list of states
states = []
currentProject = self.grammarController.getCurrentProject()
if currentProject is not None:
automata = currentProject.getGrammar().getAutomata()
if automata is not None:
states.extend(automata.getStates())
# Set the start state
i = 0
for state in states:
if str(state.getID()) == self.currentTransition.getInputState().getID():
self.view.startStateComboBox.set_active(i)
break
i += 1
# Set the end state
i = 0
for state in states:
if str(state.getID()) == self.currentTransition.getOutputState().getID():
self.view.endStateComboBox.set_active(i)
break
i += 1
class CreateCloseChannelTransitionController(object):
"""Manages the creation of a close channel transition"""
def __init__(self, grammarController, currentTransition):
self.grammarController = grammarController
self.currentTransition = currentTransition
if self.currentTransition is None:
self.idTransition = str(uuid.uuid4())
else:
self.idTransition = self.currentTransition.getID()
self._view = CreateCloseChannelTransitionView(self, self.idTransition)
self.log = logging.getLogger(__name__)
if self.currentTransition is not None:
self.view.idEntry.set_text(self.idTransition)
self.view.nameEntry.set_text(self.currentTransition.getName())
self.view.timeEntry.set_text(str(self.currentTransition.getDisconnectionTime()))
# Retrieves the list of states
states = []
currentProject = self.grammarController.getCurrentProject()
if currentProject is not None:
automata = currentProject.getGrammar().getAutomata()
if automata is not None:
states.extend(automata.getStates())
# Set the start state
i = 0
for state in states:
if str(state.getID()) == self.currentTransition.getInputState().getID():
self.view.startStateComboBox.set_active(i)
break
i += 1
# Set the end state
i = 0
for state in states:
if str(state.getID()) == self.currentTransition.getOutputState().getID():
self.view.endStateComboBox.set_active(i)
break
i += 1
@property
def view(self):
return self._view
def displayErrorMessage(self, errorMessage):
if errorMessage is None:
self._view.errorImage.hide()
self._view.errorLabel.set_label("")
self._view.errorLabel.hide()
else:
self._view.errorLabel.set_label(errorMessage)
self._view.errorLabel.show()
self._view.errorImage.show()
def cancelButton_clicked_cb(self, event):
"""Callback executed when the user clicks on the cancel button"""
self._view.destroy()
def createButton_clicked_cb(self, event):
"""callback executed when the user clicks on the create button"""
# Remove old transition
currentProject = self.grammarController.getCurrentProject()
if currentProject is not None:
automata = currentProject.getGrammar().getAutomata()
if self.currentTransition is not None:
automata.removeTransition(self.currentTransition)
# Transition's name
transitionName = self._view.nameEntry.get_text()
if transitionName is None or len(transitionName) == 0:
errorMessage = _("Give a name to the transition")
self.displayErrorMessage(errorMessage)
return
# Transition's time before executing
timeTransition = None
try:
timeTransition = int(self._view.timeEntry.get_text())
except:
pass
if timeTransition is None or timeTransition < 0:
errorMessage = _("Give a valid time (> 0ms)")
self.displayErrorMessage(errorMessage)
return
# Transition's start & end state
startState_iter = self._view.startStateComboBox.get_active_iter()
endState_iter = self._view.endStateComboBox.get_active_iter()
if startState_iter is None:
errorMessage = _("Select a start state.")
self.displayErrorMessage(errorMessage)
return
if endState_iter is None:
errorMessage = _("Select an end state")
self.displayErrorMessage(errorMessage)
return
currentProject = self.grammarController.getCurrentProject()
automata = currentProject.getGrammar().getAutomata()
states = []
if automata is not None:
states.extend(automata.getStates())
idStartState = self._view.startStateComboBox.get_model()[startState_iter][0]
idEndState = self._view.endStateComboBox.get_model()[endState_iter][0]
startState = None
endState = None
for state in states:
if str(state.getID()) == str(idStartState):
startState = state
if str(state.getID()) == str(idEndState):
endState = state
if startState is not None and endState is not None:
break
if startState is None:
errorMessage = _("An error occurred and prevented to retrieve the provided start state.")
self.displayErrorMessage(errorMessage)
return
if endState is None:
errorMesssage = _("An error occurred and prevented to retrieve the provided end state.")
return
# Verify no other open channel transition is registered on the start state
found = False
for transitionStartState in startState.getTransitions():
if transitionStartState.getType() == CloseChannelTransition.TYPE:
found = True
break
if found:
errorMessage = _("Provided start state already has a close channel transition.")
self.displayErrorMessage(errorMessage)
return
transition = CloseChannelTransition(self.idTransition, transitionName, startState, endState, timeTransition)
startState.registerTransition(transition)
# attach the transition to the grammar
self.grammarController.getCurrentProject().getGrammar().getAutomata().addTransition(transition)
self._view.destroy()
self.grammarController.restart()
def run(self):
self._view.run()
class CreateCloseChannelTransitionController(object):
"""Manages the creation of a close channel transition"""
def __init__(self, grammarController, currentTransition):
self.grammarController = grammarController
self.currentTransition = currentTransition
if self.currentTransition is None:
self.idTransition = str(uuid.uuid4())
else:
self.idTransition = self.currentTransition.getID()
self._view = CreateCloseChannelTransitionView(self, self.idTransition)
self.log = logging.getLogger(__name__)
if self.currentTransition is not None:
self.view.idEntry.set_text(self.idTransition)
self.view.nameEntry.set_text(self.currentTransition.getName())
self.view.timeEntry.set_text(
str(self.currentTransition.getDisconnectionTime()))
# Retrieves the list of states
states = []
currentProject = self.grammarController.getCurrentProject()
if currentProject is not None:
automata = currentProject.getGrammar().getAutomata()
if automata is not None:
states.extend(automata.getStates())
# Set the start state
i = 0
for state in states:
if str(state.getID()) == self.currentTransition.getInputState(
).getID():
self.view.startStateComboBox.set_active(i)
break
i += 1
# Set the end state
i = 0
for state in states:
if str(state.getID()) == self.currentTransition.getOutputState(
).getID():
self.view.endStateComboBox.set_active(i)
break
i += 1
@property
def view(self):
return self._view
def displayErrorMessage(self, errorMessage):
if errorMessage is None:
self._view.errorImage.hide()
self._view.errorLabel.set_label("")
self._view.errorLabel.hide()
else:
self._view.errorLabel.set_label(errorMessage)
self._view.errorLabel.show()
self._view.errorImage.show()
def cancelButton_clicked_cb(self, event):
"""Callback executed when the user clicks on the cancel button"""
self._view.destroy()
def createButton_clicked_cb(self, event):
"""callback executed when the user clicks on the create button"""
# Remove old transition
currentProject = self.grammarController.getCurrentProject()
if currentProject is not None:
automata = currentProject.getGrammar().getAutomata()
if self.currentTransition is not None:
automata.removeTransition(self.currentTransition)
# Transition's name
transitionName = self._view.nameEntry.get_text()
if transitionName is None or len(transitionName) == 0:
errorMessage = _("Give a name to the transition")
self.displayErrorMessage(errorMessage)
return
# Transition's time before executing
timeTransition = None
try:
timeTransition = int(self._view.timeEntry.get_text())
except:
pass
if timeTransition is None or timeTransition < 0:
errorMessage = _("Give a valid time (> 0ms)")
self.displayErrorMessage(errorMessage)
return
# Transition's start & end state
startState_iter = self._view.startStateComboBox.get_active_iter()
endState_iter = self._view.endStateComboBox.get_active_iter()
if startState_iter is None:
errorMessage = _("Select a start state.")
self.displayErrorMessage(errorMessage)
return
if endState_iter is None:
errorMessage = _("Select an end state")
self.displayErrorMessage(errorMessage)
return
currentProject = self.grammarController.getCurrentProject()
automata = currentProject.getGrammar().getAutomata()
states = []
if automata is not None:
states.extend(automata.getStates())
idStartState = self._view.startStateComboBox.get_model(
)[startState_iter][0]
idEndState = self._view.endStateComboBox.get_model()[endState_iter][0]
startState = None
endState = None
for state in states:
if str(state.getID()) == str(idStartState):
startState = state
if str(state.getID()) == str(idEndState):
endState = state
if startState is not None and endState is not None:
break
if startState is None:
errorMessage = _(
"An error occurred and prevented to retrieve the provided start state."
)
self.displayErrorMessage(errorMessage)
return
if endState is None:
errorMesssage = _(
"An error occurred and prevented to retrieve the provided end state."
)
return
# Verify no other open channel transition is registered on the start state
found = False
for transitionStartState in startState.getTransitions():
if transitionStartState.getType() == CloseChannelTransition.TYPE:
found = True
break
if found:
errorMessage = _(
"Provided start state already has a close channel transition.")
self.displayErrorMessage(errorMessage)
return
transition = CloseChannelTransition(self.idTransition, transitionName,
startState, endState,
timeTransition)
startState.registerTransition(transition)
# attach the transition to the grammar
self.grammarController.getCurrentProject().getGrammar().getAutomata(
).addTransition(transition)
self._view.destroy()
self.grammarController.restart()
def run(self):
self._view.run()