public enum StatementEnum extends Enum<StatementEnum>
Enum Constant and Description |
---|
Axiom
Something that is directly entailed by the appropriate model theory.
|
Explicit
A statement that was inserted into the database explicitly by the
application.
|
History
An explicit statement that was deleted but is being maintained in the
statement indices for history.
|
Inferred
A statement that was inferred from the explicit statements by the
appropriate model theory.
|
Modifier and Type | Field and Description |
---|---|
static int |
MASK_OVERRIDE
A bit mask used to isolate the bit that indicates that the existing
statement type should be overridden thereby allowing the downgrade of a
statement from explicit to inferred.
|
static int |
MASK_USER_FLAG
A user bit mask used by applications to flag statements.
|
Modifier and Type | Method and Description |
---|---|
byte |
code() |
static StatementEnum |
decode(byte b)
Decode a byte into a
StatementEnum . |
static StatementEnum |
deserialize(byte[] val) |
static boolean |
isOverride(byte b)
Return
true iff the override bit is set. |
static boolean |
isUserFlag(byte b)
Return
true iff the user bit is set. |
static StatementEnum |
max(StatementEnum a,
StatementEnum b)
Max returns the value that is first in the total order
Explicit
Axiom
Inferred
Deleted
|
byte[] |
serialize() |
static StatementEnum |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static StatementEnum[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final StatementEnum Explicit
public static final StatementEnum Axiom
public static final StatementEnum Inferred
public static final StatementEnum History
public static final int MASK_OVERRIDE
public static final int MASK_USER_FLAG
public static StatementEnum[] values()
for (StatementEnum c : StatementEnum.values()) System.out.println(c);
public static StatementEnum valueOf(String name)
name
- the name of the enum constant to be returned.IllegalArgumentException
- if this enum type has no constant with the specified nameNullPointerException
- if the argument is nullpublic byte code()
public static StatementEnum max(StatementEnum a, StatementEnum b)
a
- b
- public static StatementEnum decode(byte b)
StatementEnum
.
Note: The override bit is masked off during this operation.
b
- The byte.StatementEnum
value.public static StatementEnum deserialize(byte[] val)
public byte[] serialize()
public static boolean isUserFlag(byte b)
true
iff the user bit is set.b
- The byte.public static boolean isOverride(byte b)
true
iff the override bit is set.b
- The byte.Copyright © 2006–2019 SYSTAP, LLC DBA Blazegraph. All rights reserved.