JLogInteger.java
/*
* #%L
* prolobjectlink-jpi-jlog
* %%
* Copyright (C) 2019 Prolobjectlink Project
* %%
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as
* published by the Free Software Foundation, either version 3 of the
* License, or (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public
* License along with this program. If not, see
* <http://www.gnu.org/licenses/gpl-3.0.html>.
* #L%
*/
package io.github.prolobjectlink.prolog.jlog;
import static io.github.prolobjectlink.prolog.PrologTermType.INTEGER_TYPE;
import io.github.prolobjectlink.prolog.PrologInteger;
import io.github.prolobjectlink.prolog.PrologProvider;
import io.github.prolobjectlink.prolog.PrologTerm;
import ubc.cs.JLog.Terms.jInteger;
import ubc.cs.JLog.Terms.jTerm;
/**
*
* @author Jose Zalacain
* @since 1.0
*/
class JLogInteger extends JLogNumber implements PrologInteger {
JLogInteger(PrologProvider provider, Number value) {
super(INTEGER_TYPE, provider, new jInteger(value.intValue()));
}
JLogInteger(int type, PrologProvider provider, jTerm value) {
super(type, provider, value);
}
public final long getLongValue() {
return (long) getIntegerValue();
}
public final double getDoubleValue() {
return (double) getIntegerValue();
}
public final int getIntegerValue() {
return ((jInteger) value).getIntegerValue();
}
public final float getFloatValue() {
return (float) getIntegerValue();
}
public final PrologTerm[] getArguments() {
return new JLogInteger[0];
}
}