| Option | Description | Values | Default |
| hideGenerationTimestamp | Hides the generation timestamp when files are generated. | | true |
| packageName | Eiffel Cluster name (convention: lowercase). | | openapi |
| packageVersion | Eiffel package version. | | 1.0.0 |
IMPORT MAPPING
| Type/Alias | Imports |
| Array | java.util.List |
| ArrayList | java.util.ArrayList |
| BigDecimal | java.math.BigDecimal |
| Date | java.util.Date |
| DateTime | org.joda.time.* |
| File | java.io.File |
| HashMap | java.util.HashMap |
| List | java.util.* |
| LocalDate | org.joda.time.* |
| LocalDateTime | org.joda.time.* |
| LocalTime | org.joda.time.* |
| Map | java.util.Map |
| Set | java.util.* |
| Timestamp | java.sql.Timestamp |
| URI | java.net.URI |
| UUID | java.util.UUID |
INSTANTIATION TYPES
| Type/Alias | Instantiated By |
| array | ARRAYED_LIST |
| list | ARRAYED_LIST |
| map | STRING_TABLE |
LANGUAGE PRIMITIVES
- BOOLEAN
- INTEGER_16
- INTEGER_32
- INTEGER_64
- INTEGER_8
- NATURAL_16
- NATURAL_32
- NATURAL_64
- NATURAL_8
- REAL_32
- REAL_64
RESERVED WORDS
- across
- agent
- alias
- all
- and
- as
- assign
- attribute
- check
- class
- convert
- create
- current
- debug
- deferred
- do
- else
- elseif
- end
- ensure
- expanded
- export
- external
- false
- feature
- from
- frozen
- if
- implies
- inherit
- inspect
- invariant
- like
- local
- loop
- not
- note
- obsolete
- old
- once
- only
- or
- precursor
- redefine
- rename
- require
- rescue
- result
- retry
- select
- separate
- then
- true
- tuple
- undefine
- until
- variant
- void
- when
- xor
Last updated on 1/20/2020