1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22 package io.github.prolobjectlink.prolog.jpl;
23
24 import static io.github.prolobjectlink.prolog.PrologTermType.FLOAT_TYPE;
25
26 import io.github.prolobjectlink.prolog.PrologFloat;
27 import io.github.prolobjectlink.prolog.PrologProvider;
28 import io.github.prolobjectlink.prolog.PrologTerm;
29 import jpl.Float;
30 import jpl.Term;
31
32
33
34
35
36
37 class JplFloat extends JplNumber implements PrologFloat {
38
39 JplFloat(PrologProvider provider, Number value) {
40 super(FLOAT_TYPE, provider, new Float(value.floatValue()));
41 }
42
43 JplFloat(int type, PrologProvider provider, Term value) {
44 super(type, provider, value);
45 }
46
47 public final long getLongValue() {
48 return ((Float) value).longValue();
49 }
50
51 public final double getDoubleValue() {
52 return ((Float) value).doubleValue();
53 }
54
55 public final int getIntegerValue() {
56 return ((Float) value).intValue();
57 }
58
59 public final float getFloatValue() {
60 return ((Float) value).floatValue();
61 }
62
63 public final PrologTerm[] getArguments() {
64 return new JplFloat[0];
65 }
66
67 }