Traits Docs
Fall 2024
API

# Municipality

o1.legal.Municipality
class Municipality(`name`: String, val `nation`: Nation, `contact`: NaturalPerson) extends Entity, HumanOrganization

A `Municipality` is a part of a Nation.

## Parameters

contact

  a contact person for the municipality

name

  the name of the municipality

nation

  the nation the municipality is part of

## Attributes

Graph
Supertypes
  trait HumanOrganization
  trait JuridicalPerson
  trait Entity
  class Object
  trait Matchable
  class Any
  Show all

## Members list

### Value members

#### Concrete methods

def kind: String

A short description of the entity’s type. For a `Municipality`, returns "municipality of NAME-OF-NATION".

A short description of the entity’s type. For a `Municipality`, returns "municipality of NAME-OF-NATION".

## Attributes

#### Inherited methods

override def toString: String

Returns a textual description of the legal entity. This takes the form "NAME (KIND)", e.g., "Jane Doe (human in full capacity)".

Returns a textual description of the legal entity. This takes the form "NAME (KIND)", e.g., "Jane Doe (human in full capacity)".

## Attributes

Definition Classes
  Entity -> Any
Inherited from:
  Entity

#### Concrete fields

val nation: Nation