Java Pointer.getInt方法代码示例

import org.bridj.Pointer; //导入方法依赖的package包/类
public String getVersion() {
    Pointer<Integer> major = Pointer.allocateInt();
    Pointer<Integer> minor = Pointer.allocateInt();
    Pointer<Integer> revision = Pointer.allocateInt();
    LIB.clingo_version(major, minor, revision);
    return "" + major.getInt() + "." + minor.getInt() + "." + revision.getInt();
}
 

import org.bridj.Pointer; //导入方法依赖的package包/类
public Configuration getConfiguration() throws ClingoException {
    Pointer<Pointer<clingo_configuration>> config = Pointer.allocatePointer(clingo_configuration.class);
    handleError(LIB.clingo_control_configuration(pointer, config), "Error reading the configuration!");
    Pointer<Integer> key = Pointer.allocateInt();
    handleError(LIB.clingo_configuration_root(config.get(), key), "Error reading the configuration root key!");
    return new Configuration(config.get(), key.getInt());
}
 

import org.bridj.Pointer; //导入方法依赖的package包/类
public SolveResult getSolveResult() throws ClingoException {
    Pointer<Integer> ret = Pointer.allocateInt();
    handleError(LIB.clingo_solve_handle_get(pointer, ret), "Solve handle get solve result!");
    return new SolveResult(ret.getInt());
}
 

import org.bridj.Pointer; //导入方法依赖的package包/类
public int getType() throws ClingoException {
    Pointer<Integer> tmp = Pointer.allocateInt();
    handleError(LIB.clingo_configuration_type(pointer, key, tmp), "Error reading the configuration type!");
    return tmp.getInt();
}
 

import org.bridj.Pointer; //导入方法依赖的package包/类
@Override
public int size() {
    Pointer<SizeT> ret = Pointer.allocateSizeT();
    handleRuntimeError(LIB.clingo_theory_atoms_size(pointer, ret), "Error reading the theory atoms size!");
    return ret.getInt();
}
 

import org.bridj.Pointer; //导入方法依赖的package包/类
public int getLevel(int lit) throws ClingoException {
    Pointer<Integer> ret = Pointer.allocateInt();
    handleError(LIB.clingo_assignment_level(pointer, lit, ret), "Error reading the assignment level!");
    return ret.getInt();
}
 

import org.bridj.Pointer; //导入方法依赖的package包/类
public int getDecision(int level) throws ClingoException {
    Pointer<Integer> ret = Pointer.allocateInt();
    handleError(LIB.clingo_assignment_decision(pointer, level, ret), "Error reading the assignment decision!");
    return ret.getInt();
}
 

import org.bridj.Pointer; //导入方法依赖的package包/类
@Override
public Configuration get(int index) {
    Pointer<Integer> subkey = Pointer.allocateInt();
    handleRuntimeError(LIB.clingo_configuration_array_at(pointer, key, index, subkey), "Error reading the configuration item in array at " + index + " position!");
    return new Configuration(pointer, subkey.getInt());
}
 

import org.bridj.Pointer; //导入方法依赖的package包/类
public int size() throws ClingoException {
    Pointer<SizeT> ret = Pointer.allocateSizeT();
    handleError(LIB.clingo_symbolic_atoms_size(pointer, ret), "Error reading the symbolic atoms size!");
    return ret.getInt();
}
 

import org.bridj.Pointer; //导入方法依赖的package包/类
public Configuration get(String name) {
    Pointer<Integer> subkey = Pointer.allocateInt();
    handleRuntimeError(LIB.clingo_configuration_map_at(pointer, key, Pointer.pointerToCString(name), subkey), "Error reading the configuration item in map by" + name + " key!");
    return new Configuration(pointer, subkey.getInt());
}
 

import org.bridj.Pointer; //导入方法依赖的package包/类
public TheoryTerm getTerm() throws ClingoException {
    Pointer<Integer> ret = Pointer.allocateInt();
    handleError(LIB.clingo_theory_atoms_atom_term(pointer, id, ret), "Error reading the theory atom term!");
    return new TheoryTerm(pointer, ret.getInt());
}
 

import org.bridj.Pointer; //导入方法依赖的package包/类
public int getLiteral() throws ClingoException {
    Pointer<Integer> ret = Pointer.allocateInt();
    handleError(LIB.clingo_theory_atoms_atom_literal(pointer, id, ret), "Error reading the theory atom literal!");
    return ret.getInt();
}
 

import org.bridj.Pointer; //导入方法依赖的package包/类
public int initSolverLiteral(int lit) throws ClingoException {
    Pointer<Integer> ret = Pointer.allocateInt();
    handleError(LIB.clingo_propagate_init_solver_literal(pointer, lit, ret), "Error reading the progagete init solver literal!");
    return ret.getInt();
}
 

import org.bridj.Pointer; //导入方法依赖的package包/类
public int addAtom() throws ClingoException {
    Pointer<Integer> ret = Pointer.allocateInt();
    handleError(LIB.clingo_backend_add_atom(pointer, ret), "Error add the atom to the backend!");
    return ret.getInt();
}
 

import org.bridj.Pointer; //导入方法依赖的package包/类
public int addLiteral() throws ClingoException {
    Pointer<Integer> ret = Pointer.allocateInt();
    handleError(LIB.clingo_propagate_control_add_literal(pointer, ret), "Error add the literal to the propagate control!");
    return ret.getInt();
}