products/sources/formale sprachen/Isabelle/HOL/Nitpick_Examples/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: dml160.cob   Sprache: JAVA

Original von: VDM©
package gui;

import java.awt.Point;

public class Waypoint {

 boolean stop;
 String name;
 Point point;
 
 public Waypoint(String wpName, Point location) {
  this(wpName, location, false);
 }
 
 public Waypoint(String wpName, Point location, boolean isStop) {
  
  name = wpName;
  stop = isStop;
  point = location;
 }
 
 public int X(){
  return (int) point.getX();
 }
 
 public int Y(){
  return (int) point.getY();
 }
 
 public Point point(){
  return  point;
 }
 
 public String Name(){
  return name;
 }
 
 public boolean IsStop()
 {
  return stop;
 }
 
}

¤ Dauer der Verarbeitung: 0.14 Sekunden  (vorverarbeitet)  ¤



Druckansicht
unsichere Verbindung
Druckansicht
sprechenden Kalenders

in der Quellcodebibliothek suchen




Haftungshinweis

Die hierunter aufgelisteten Ziele sind für diese Firma wichtig


Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff