yapa.hh

Go to the documentation of this file.

 
 
#ifndef YAPA_HH
#define YAPA_HH 1
 
enum PropTag {
  PRED_TAG                  = PEProp, // 0x0000,
  DB_TAG                    = DBProperty, // 0x8000,
  FUNCTOR_TAG               = FunctorProperty, // 0xBB00,
  // SPARSE_FUNCTOR_TAG        = 0xFFDF,
  ARITHMETIC_PROPERTY_TAG   = ExpProperty, // 0xFFE0,
  TRANSLATION_TAG           = TranslationProperty, // 0xFFF4,
  HOLD_TAG                  = HoldProperty, // 0xFFF6
  MUTEX_TAG                 = MutexProperty, // 0xFFF6,
  ARRAY_TAG                 = ArrayProperty, // 0xFFF7,
  MODULE_TAG                = ModProperty, // 0xFFFA,
  BLACKBOARD_TAG            = BBProperty, // 0xFFFB,
  VALUE_TAG                 = ValProperty, // 0xFFFC,
  GLOBAL_VAR_TAG            = GlobalProperty, // 0xFFFD
  BLOB_TAG                  = BlobProperty, // 0xFFFE,
  OPERATOR_TAG              = OpProperty, // 0xFFFF,
};
 
class X_API YAPAtom {
  friend class YAPEngine;
  friend class YAPModuleProp;
  friend class YAPPredicate;
  friend class YAPFunctor;
  friend class YAPAtomTerm;
  friend class YAProp;
  friend class YAPModule;
  friend class YAPQuery;
  Atom a;
  YAPAtom( Atom at ) { a = at; }
public:
  YAPAtom( const char * s) { a = Yap_LookupAtom( s ); }
  YAPAtom( const wchar_t * s) { CACHE_REGS a = UTF32ToAtom( s PASS_REGS ); }
  //YAPAtom( const wchar_t * s) { a = Yap_LookupMaybeWideAtom( s ); }
  YAPAtom( const char * s, size_t len) { a = Yap_LookupAtomWithLength( s, len ); }
  const char *getName(void);
  inline const char *text(void)  { return getName(); } ;
  Prop getProp( PropTag tag ) { return Yap_GetAProp( a , (PropFlags)tag ); };
  Atom asAtom() { return a; };
};
 
class X_API YAPProp {
  friend class YAPModuleProp;
  friend class YAPFunctor;
  YAPProp() { }
  PropTag tag( Prop p )  { return (PropTag)(p->KindOfPE); }
public:
  virtual ~YAPProp() {};
};
 
class X_API YAPFunctor : public YAPProp {
  friend class YAPApplTerm;
  friend class YAPTerm;
  friend class YAPPredicate;
  friend class YAPQuery;
  Functor f;
  inline YAPFunctor(Functor ff) { f = ff; }
 
public:
  YAPFunctor(YAPAtom at, uintptr_t arity) { f = Yap_MkFunctor(at.a, arity); }
 
  inline YAPFunctor(const char *s, uintptr_t arity, bool isutf8 = true) {
    f = Yap_MkFunctor(Yap_LookupAtom(s), arity);
  }
  inline YAPFunctor(const wchar_t *s, uintptr_t arity) {
    CACHE_REGS f = Yap_MkFunctor(UTF32ToAtom(s PASS_REGS), arity);
  }
  inline  YAPAtom name() { return YAPAtom(NameOfFunctor(f)); };
 
  inline arity_t arity() { return ArityOfFunctor(f); };
 
  inline Functor fun() { return f; };
};
 
 
#endif /* YAPA_HH */