products/Sources/formale Sprachen/VDM/VDMPP/BuslinesWithDBPP/src/gui image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: subterm.prf   Sprache: JAVA

Original von: VDM©

package gui;

public class Passenger {

 int passId;
 String goal; 
 private boolean annoyed;
 private boolean isOnBus;
 
 public Passenger(int id, String headingFor){
  passId = id;
  goal = headingFor;
 }
 
 public int Id() {
  return passId;
 }

 void setAnnoyed(boolean annoyed) {
  this.annoyed = annoyed;
 }

 boolean isAnnoyed() {
  return annoyed;
 }

 public void gotOnBus() {
  this.isOnBus = true;
 }

 public boolean isOnBus() {
  return isOnBus;
 }
 
 public String headingFor() {
  return goal;
 }
}

¤ Dauer der Verarbeitung: 0.3 Sekunden  (vorverarbeitet)  ¤





Download des
Quellennavigators
Download des
sprechenden Kalenders

in der Quellcodebibliothek suchen




Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.


Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff