theKernel 10.0
Loading...
Searching...
No Matches
MkIdSE.java
Go to the documentation of this file.
1
9/* LABEL-NO */
10package jvmkkernel;
11
12// BEGIN-MkIdSE - created by 'jv_MqS.tcl -i NHI1_HOME/theKernel/c/gen/c_mkkernel.meta' - DO NOT change
13
16public enum MkIdSE {
17 UNUSED (0),
19 THREAD (2);
20 private final int value;
21 MkIdSE(int val) {this.value = val;}
22 public int get() { return value; }
23 public static MkIdSE set(int val) {
24 return MkKernel.IdSE_FromInt(val);
25 }
26}
27
28// END-MkIdSE - created by 'jv_MqS.tcl -i NHI1_HOME/theKernel/c/gen/c_mkkernel.meta' - DO NOT change
MkKernel PACKAGE - The package is the toplevel structure of the Programming-Language-Micro-Kernel (PL...
Java: enum MkIdSE → C-API
Definition MkIdSE.java:16
MkIdSE(int val)
Definition MkIdSE.java:21
static native MkIdSE IdSE_FromInt(int value)
Java: [static] MkIdSE IdSE_FromInt(int value) → C-API return the MkIdSE from integer …