Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: §wip/atl/SimpleAirlineDomain/extracted
Source used for this grammar: Julien Baudry, Simple Airline Domain, SimpleAirlineDomain.ecore
, 2006/07/10
Airport
, Flight
, Airline
, Passenger
, Genre
, Time
, Boolean
, Integer
, String
), 0 root (—), 0 top (—), 0 bottom (—).[name]
3, [departingFlight]
, [arrivingFlight]
, [departTime]
, [duration]
, [maxnrPassengers]
, [passenger]
, [airline]
, [origin]
, [destination]
, [nationality]
, [flight]
2, [age]
, [gender]
, [needsAssistance]
, [male]
, [female]
, [year]
, [month]
, [day]
, [hour]
, [minute]
, [second]
.Airport ::= [name]::String [departingFlight]::Flight[arrivingFlight]::Flight
Flight ::=
[departTime]::Time [duration]::Time [maxnrPassengers]::Integer [passenger]::Passenger
[airline]::Airline [origin]::Airport [destination]::AirportAirline ::=
[name]::String [nationality]::String [flight]::Flight
Passenger ::= [name]::String [age]::Integer [gender]::Genre [needsAssistance]::Boolean [flight]::Flight
Genre ::= [male]::ε [female]::ε
Time ::= [year]::Integer [month]::Integer [day]::Integer [hour]::Integer [minute]::Integer [second]::Integer
Boolean ::= "true" "false"
Integer ::= integer
String ::= string