/**
* File generated by the ThingML IDE
* /!\Do not edit this file/!\
* In case of a bug in the generated code,
* please submit an issue on our GitHub
**/
package org.thingml.generated;
import org.sintef.smac.*;
import java.awt.Color;
import java.awt.Dimension;
import java.awt.GridBagConstraints;
import java.awt.GridBagLayout;
import java.awt.Insets;
import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
import java.util.Arrays;
import java.util.Date;
import java.util.HashMap;
import java.util.Map;
import javax.swing.JButton;
import javax.swing.JComboBox;
import javax.swing.JFrame;
import javax.swing.JLabel;
import javax.swing.JPanel;
import javax.swing.JScrollPane;
import javax.swing.JTabbedPane;
import javax.swing.JTextField;
import javax.swing.JTextPane;
import javax.swing.text.BadLocationException;
import javax.swing.text.Style;
import javax.swing.text.StyleConstants;
import javax.swing.text.StyleContext;
import javax.swing.text.StyledDocument;
import java.text.SimpleDateFormat;
import scala.collection.immutable.$colon$colon;
public class TemperatureSensorScalaMockMirror extends ReactiveComponent implements ActionListener {
@Override
public void onIncomingMessage(SignedEvent e) {
print(e.event().name() + "_via_" + e.port().name(), dateFormat.format(new Date()) + ": " + e.event().toString());
}
Port port_TemperatureSensorScala_TemperatureSensor = null;
java.util.List<TemperatureSensorScalaListenerMirror> listeners = new java.util.LinkedList<TemperatureSensorScalaListenerMirror>();
public TemperatureSensorScalaMockMirror(){
scala.collection.immutable.List<String> rec = null;
scala.collection.immutable.List<String> sent = null;
rec = scala.collection.immutable.List$.MODULE$.empty();
sent = scala.collection.immutable.List$.MODULE$.empty();
sent = new $colon$colon("read_temperature", sent);
rec = new $colon$colon("temperature_value", sent);
port_TemperatureSensorScala_TemperatureSensor = (Port) new Port("TemperatureSensor", rec, sent, this).start();
init();}
private SimpleDateFormat dateFormat = new SimpleDateFormat("dd MMM yyy 'at' HH:mm:ss.SSS");private JTabbedPane tabbedPane = new JTabbedPane();
private JFrame frame;
private JPanel frame_TemperatureSensor;
private JTextPane screen;
private JButton clearButton;
private StyledDocument doc;
//Attributes related to read_temperature via TemperatureSensor
public JButton sendread_temperature_via_TemperatureSensor;
public JButton getSendread_temperature_via_TemperatureSensor() {
return sendread_temperature_via_TemperatureSensor;
}
public void disableAll() {
sendread_temperature_via_TemperatureSensor.setEnabled(false);
}
public void enableAll() {
sendread_temperature_via_TemperatureSensor.setEnabled(true);
}
public void print(String id, String data){
try {
doc.insertString(doc.getLength(), formatForPrint(data), doc.getStyle("receive"+id+"Style"));
screen.setCaretPosition(doc.getLength());
} catch (BadLocationException ex) {
ex.printStackTrace();
}
}
public void addListener(ActionListener l){
sendread_temperature_via_TemperatureSensor.addActionListener(l);
}
private void init(){
GridBagConstraints c = new GridBagConstraints();
c.gridwidth = 1;
c.fill = GridBagConstraints.HORIZONTAL;
c.insets = new Insets(0,3,0,3);
clearButton = new JButton("Clear Console");
c.gridy = 0;
c.gridx = 0;
frame = new JFrame("TemperatureSensorScala Mock Simulator");
frame.setLayout(new GridBagLayout());
frame.add(tabbedPane, c);
frame_TemperatureSensor = new JPanel();
frame_TemperatureSensor.setLayout(new GridBagLayout());
//GUI related to TemperatureSensor_via_TemperatureSensor => read_temperature
c.gridy = 0;
c.gridx = 0;
frame_TemperatureSensor.add(createLabel("read_temperature"), c);
c.gridy = 1;
c.gridx = 0;
frame_TemperatureSensor.add(createread_temperature_via_TemperatureSensorPanel(), c);
c.gridy = 2;
c.gridx = 0;
sendread_temperature_via_TemperatureSensor = createSendButton("TemperatureSensor => read_temperature");
frame_TemperatureSensor.add(sendread_temperature_via_TemperatureSensor, c);
tabbedPane.addTab("TemperatureSensor", frame_TemperatureSensor);
c.gridy = 1;
c.gridx = 0;
c.gridwidth = 1;
frame.add(createJTextPane(), c);
c.gridy = 2;
frame.add(clearButton, c);
frame.pack();
clearButton.addActionListener(this);
addListener(this);
frame.setVisible(true);
}
public static JLabel createLabel(String name){
return new JLabel(name);
}
public static JButton createSendButton(String name){
return new JButton("send");
}
public JPanel createread_temperature_via_TemperatureSensorPanel(){
GridBagConstraints c = new GridBagConstraints();
c.fill = GridBagConstraints.HORIZONTAL;
c.weightx = 0.5;
JPanel panel = new JPanel(new GridBagLayout());
return panel;
}
public JScrollPane createJTextPane(){
screen = new JTextPane();
screen.setFocusable(false);
screen.setEditable(false);
screen.setAutoscrolls(true);
JScrollPane editorScrollPane = new JScrollPane(screen);
editorScrollPane.setVerticalScrollBarPolicy(
JScrollPane.VERTICAL_SCROLLBAR_ALWAYS);
editorScrollPane.setPreferredSize(new Dimension(480, 240));
editorScrollPane.setMinimumSize(new Dimension(320, 160));
doc = screen.getStyledDocument();
Style def = StyleContext.getDefaultStyleContext().getStyle(StyleContext.DEFAULT_STYLE);
Style receivetemperature_value_via_TemperatureSensorStyle = doc.addStyle("receivetemperature_value_via_TemperatureSensorScala_TemperatureSensorStyle", def);
StyleConstants.setForeground(receivetemperature_value_via_TemperatureSensorStyle, new Color(160, 65, 24));
return editorScrollPane;
}
private String formatForPrint(String text) {
return (text.endsWith("\n") ? text : text + "\n");
}
@Override
public void actionPerformed(ActionEvent ae) {
if (ae.getSource() == clearButton){
screen.setText("");
}
else if ( ae.getSource() == getSendread_temperature_via_TemperatureSensor()) {
port_TemperatureSensorScala_TemperatureSensor.send(new Read_temperature(Read_temperature$.MODULE$.getName()));
for(TemperatureSensorScalaListenerMirror l : listeners)
l.onRead_temperature_via_TemperatureSensor();
}
}
public static void main(String args[]){
TemperatureSensorScalaMock mock = new TemperatureSensorScalaMock();
TemperatureSensorScalaMockMirror mockMirror = new TemperatureSensorScalaMockMirror();
Channel c_TemperatureSensor_8865133 = new Channel();
c_TemperatureSensor_8865133.connect(mock.port_TemperatureSensorScala_TemperatureSensor, mockMirror.port_TemperatureSensorScala_TemperatureSensor);
c_TemperatureSensor_8865133.connect(mockMirror.port_TemperatureSensorScala_TemperatureSensor, mock.port_TemperatureSensorScala_TemperatureSensor);
c_TemperatureSensor_8865133.start();
}
}