Z3
ParamDescrs.java
Go to the documentation of this file.
1 
18 package com.microsoft.z3;
19 
21 
25 public class ParamDescrs extends Z3Object {
29  public void validate(Params p)
30  {
31 
32  Native.paramsValidate(getContext().nCtx(), p.getNativeObject(),
33  getNativeObject());
34  }
35 
40  {
41 
43  getContext().nCtx(), getNativeObject(), name.getNativeObject()));
44  }
45 
51  {
52  return Native.paramDescrsGetDocumentation(getContext().nCtx(), getNativeObject(), name.getNativeObject());
53  }
54 
60  public Symbol[] getNames()
61  {
62  int sz = Native.paramDescrsSize(getContext().nCtx(), getNativeObject());
63  Symbol[] names = new Symbol[sz];
64  for (int i = 0; i < sz; ++i)
65  {
66  names[i] = Symbol.create(getContext(), Native.paramDescrsGetName(
67  getContext().nCtx(), getNativeObject(), i));
68  }
69  return names;
70  }
71 
75  public int size()
76  {
77  return Native.paramDescrsSize(getContext().nCtx(), getNativeObject());
78  }
79 
83  @Override
84  public String toString() {
85  return Native.paramDescrsToString(getContext().nCtx(), getNativeObject());
86  }
87 
88  ParamDescrs(Context ctx, long obj)
89  {
90  super(ctx, obj);
91  }
92 
93  @Override
94  void incRef() {
95  Native.paramDescrsIncRef(getContext().nCtx(), getNativeObject());
96  }
97 
98  @Override
99  void addToReferenceQueue() {
100  getContext().getParamDescrsDRQ().storeReference(getContext(), this);
101  }
102 }
static int paramDescrsGetKind(long a0, long a1, long a2)
Definition: Native.java:822
static void paramsValidate(long a0, long a1, long a2)
Definition: Native.java:798
Z3_param_kind getKind(Symbol name)
void storeReference(Context ctx, T obj)
static String paramDescrsGetDocumentation(long a0, long a1, long a2)
Definition: Native.java:849
String getDocumentation(Symbol name)
static String paramDescrsToString(long a0, long a1)
Definition: Native.java:858
static final Z3_param_kind fromInt(int v)
IDecRefQueue< ParamDescrs > getParamDescrsDRQ()
Definition: Context.java:3979
static int paramDescrsSize(long a0, long a1)
Definition: Native.java:831
static long paramDescrsGetName(long a0, long a1, int a2)
Definition: Native.java:840
def String(name, ctx=None)
Definition: z3py.py:9443
static void paramDescrsIncRef(long a0, long a1)
Definition: Native.java:806