| Modifier and Type | Field and Description |
|---|---|
| private static final long | |
| private static int | |
| private static AddressField | |
| private static long | |
| private static long |
| Modifier and Type | Method and Description |
|---|---|
| public static Address | |
| private static synchronized void | |
| public static int | |
| public String | |
| public Address |
| addrSize | back to summary |
|---|---|
| private static final long addrSize | |
| maxNum | back to summary |
|---|---|
| private static int maxNum | |
| mutex_array | back to summary |
|---|---|
| private static AddressField mutex_array | |
| nameFieldOffset | back to summary |
|---|---|
| private static long nameFieldOffset | |
| ownerFieldOffset | back to summary |
|---|---|
| private static long ownerFieldOffset | |
| Mutex | back to summary |
|---|---|
| public Mutex(Address addr) | |
| at | back to summary |
|---|---|
| public static Address at(int i) | |
| initialize | back to summary |
|---|---|
| private static synchronized void initialize(TypeDataBase db) throws WrongTypeException | |
| maxNum | back to summary |
|---|---|
| public static int maxNum() | |
| name | back to summary |
|---|---|
| public String name() | |
| owner | back to summary |
|---|---|
| public Address owner() | |