~cpn-gui/tapaal/SrcDestPair

package dk.aau.cs.NUO.model;

 

public class SwitchElements {

    String source;

    String enfInitialConf;

    String initialDestination;

    String enfFinalConf;

    String finalDestination;

    String initialTransition;

    String finalTransition;

    String waypointVisited;

    String waypointIntermediate;

    String waypointTransition;

 

    public String getSource() {

        return source;

    }

 

    public String getEnfInitialConf() {

        return enfInitialConf;

    }

 

    public String getInitialDestination() {

        return initialDestination;

    }

 

    public String getEnfFinalConf() {

        return enfFinalConf;

    }

 

    public String getFinalDestination() {

        return finalDestination;

    }

 

    public String getInitialTransition() {

        return initialTransition;

    }

 

    public String getFinalTransition() {

        return finalTransition;

    }

 

    public String getWaypointVisited() {

        return waypointVisited;

    }

 

    public String getWaypointIntermediate() {

        return waypointIntermediate;

    }

 

    public String getWaypointTransition() {

        return waypointTransition;

    }

 

    public void setSource(String source) {

        this.source = this.source == null ? source : this.source;

    }

 

    public void setEnfInitialConf(String enfInitialConf) {

        this.enfInitialConf = this.enfInitialConf == null ? enfInitialConf : this.enfInitialConf;

    }

 

    public void setInitialDestination(String initialDestination) {

        this.initialDestination = this.initialDestination == null ? initialDestination : this.initialDestination;

    }

 

    public void setEnfFinalConf(String enfFinalConf) {

        this.enfFinalConf = this.enfFinalConf == null ? enfFinalConf : this.enfFinalConf;

    }

 

    public void setFinalDestination(String finalDestination) {

        this.finalDestination = this.finalDestination == null ? finalDestination : this.finalDestination;

    }

 

    public void setInitialTransition(String initialTransition) {

        this.initialTransition = this.initialTransition == null ? initialTransition : this.initialTransition;

    }

 

    public void setFinalTransition(String finalTransition) {

        this.finalTransition = this.finalTransition == null ? finalTransition : this.finalTransition;

    }

 

    public void setWaypointVisited(String waypointVisited) {

        this.waypointVisited = this.waypointVisited == null ? waypointVisited : this.waypointVisited;

    }

 

    public void setWaypointIntermediate(String waypointIntermediate) {

        this.waypointIntermediate = this.waypointIntermediate == null ? waypointIntermediate : this.waypointIntermediate;

    }

 

    public void setWaypointTransition(String waypointTransition) {

        this.waypointTransition = this.waypointTransition == null ? waypointTransition : this.waypointTransition;

    }

}