Package | Description |
---|---|
org.jpc.examples.metro.model |
Abstract interfaces modelling the underground example.
|
org.jpc.examples.metro.model.hlapi |
A concrete implementation of the underground example using the JPC high-level API.
|
org.jpc.examples.metro.model.hlapi.converters |
JPC converters for the underground example.
|
org.jpc.examples.metro.model.llapi |
A concrete implementation of the underground example using the JPC low-level API.
|
Modifier and Type | Method and Description |
---|---|
Station |
Station.connected(Line line) |
Station |
MetroFactory.station(String name) |
Modifier and Type | Method and Description |
---|---|
List<Station> |
Station.connected() |
List<Station> |
Station.intermediateStations(Station station) |
List<Station> |
Station.nearby() |
Modifier and Type | Method and Description |
---|---|
boolean |
Station.connected(Station station) |
boolean |
Line.connects(Station s1,
Station s2) |
List<Station> |
Station.intermediateStations(Station station) |
boolean |
Station.nearby(Station station) |
boolean |
Station.reachable(Station station) |
Modifier and Type | Class and Description |
---|---|
class |
StationHLApi |
Modifier and Type | Method and Description |
---|---|
Station |
StationHLApi.connected(Line line) |
Station |
MetroFactoryHLApi.station(String name) |
Modifier and Type | Method and Description |
---|---|
List<Station> |
StationHLApi.connected() |
List<Station> |
StationHLApi.intermediateStations(Station station) |
List<Station> |
StationHLApi.nearby() |
Modifier and Type | Method and Description |
---|---|
boolean |
StationHLApi.connected(Station station) |
boolean |
LineHLApi.connects(Station s1,
Station s2) |
List<Station> |
StationHLApi.intermediateStations(Station station) |
boolean |
StationHLApi.nearby(Station station) |
boolean |
StationHLApi.reachable(Station station) |
Modifier and Type | Method and Description |
---|---|
Station |
StationConverter.fromTerm(Compound term,
Type type,
Jpc context) |
Modifier and Type | Method and Description |
---|---|
Compound |
StationConverter.toTerm(Station station,
Class<Compound> termClass,
Jpc context) |
Modifier and Type | Class and Description |
---|---|
class |
StationLLApi |
Modifier and Type | Method and Description |
---|---|
Station |
StationLLApi.connected(Line line) |
Station |
MetroFactoryLLApi.station(String name) |
Modifier and Type | Method and Description |
---|---|
List<Station> |
StationLLApi.connected() |
List<Station> |
StationLLApi.intermediateStations(Station station) |
List<Station> |
StationLLApi.nearby() |
Modifier and Type | Method and Description |
---|---|
boolean |
StationLLApi.connected(Station station) |
boolean |
LineLLApi.connects(Station s1,
Station s2) |
List<Station> |
StationLLApi.intermediateStations(Station station) |
boolean |
StationLLApi.nearby(Station station) |
boolean |
StationLLApi.reachable(Station station) |
Copyright © 2014. All rights reserved.