# Eiffel

To use this language, use the class "language-eiffel".

## Comments

    -- A comment

## Simple string and character

    "A simple string with %"double quotes%""
    'a'

## Verbatim-strings

    "[
      A aligned verbatim string
    ]"
    "{
      A non-aligned verbatim string
    }"

## Numbers

    1_000
    1_000.
    1_000.e+1_000
    1_000.1_000e-1_000
    .1
    0b1010_0001
    0xAF_5B
    0c75_22

## Class names

    deferred class
        A [G]

    feature
        items: G
            deferred  end

    end

## Full example

    note
      description: "Represents a person."

    class
      PERSON

    create
      make, make_unknown

    feature {NONE} -- Creation

      make (a_name: like name)
          -- Create a person with `a_name' as `name'.
        do
          name := a_name
        ensure
          name = a_name
        end

        make_unknown
        do ensure
          name = Void
          end

    feature -- Access

      name: detachable STRING
          -- Full name or Void if unknown.

    end