Property.Kind

Object
- Kind

All Implemented Interfaces:

Serializable

Enclosing class:

Property
```
@UsesObjectEquals
public static class Property.Kind
extends Object
implements Serializable
```
A class representing the kind of an property. An invariant is either Kind.enter, Kind.exit, or Kind.objectInvariant.

See Also:

Serialized Form

Field Summary

Fields
Modifier and Type	Field	Description
`static Property.Kind`	`classInvariant`
`static Property.Kind`	`enter`
`static Property.Kind`	`exit`
`String`	`name`
`static Property.Kind`	`objectInvariant`
`String`	`xmlname`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type Method Description

int hashCode()

String toString()

String xmlString()
- Methods inherited from class Object
  clone, equals, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

name
```
public final String name
```

xmlname
```
public final String xmlname
```

enter

public static final Property.Kind enter

exit
```
public static final Property.Kind exit
```

objectInvariant

public static final Property.Kind objectInvariant

classInvariant

public static final Property.Kind classInvariant

Method Detail

hashCode

@Pure
public int hashCode(@GuardSatisfied @UnknownSignedness Property.Kind this)

Overrides:: hashCode in class Object

toString

@SideEffectFree
public String toString(@GuardSatisfied Property.Kind this)

Overrides:: toString in class Object

xmlString
```
public String xmlString()
```