Z3
StringSymbol.java
Go to the documentation of this file.
1 
18 package com.microsoft.z3;
19 
21 
25 public class StringSymbol extends Symbol
26 {
32  public String getString()
33  {
34  return Native.getSymbolString(getContext().nCtx(), getNativeObject());
35  }
36 
37  StringSymbol(Context ctx, long obj)
38  {
39  super(ctx, obj);
40  }
41 
42  StringSymbol(Context ctx, String s)
43  {
44  super(ctx, Native.mkStringSymbol(ctx.nCtx(), s));
45  }
46 
47  void checkNativeObject(long obj)
48  {
49  if (Native.getSymbolKind(getContext().nCtx(), obj) != Z3_symbol_kind.Z3_STRING_SYMBOL
50  .toInt())
51  throw new Z3Exception("Symbol is not of String kind");
52 
53  super.checkNativeObject(obj);
54  }
55 }
static String getSymbolString(long a0, long a1)
Definition: Native.java:2045
static long mkStringSymbol(long a0, String a1)
Definition: Native.java:870
static int getSymbolKind(long a0, long a1)
Definition: Native.java:2027