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