JACK 5.4 Application Interface

aos.jack.jak.logic
Class Unifiable

java.lang.Object
  extended byaos.jack.jak.logic.Unifiable
Direct Known Subclasses:
Variable

public abstract class Unifiable
extends java.lang.Object

This is the superclass for all objects that can be 'bound' (e.g. Variable).


Constructor Summary
Unifiable()
           
 
Method Summary
 boolean as_boolean()
           
 byte as_byte()
           
 char as_char()
           
 double as_double()
           
 float as_float()
           
 int as_int()
           
 long as_long()
           
 java.lang.Object as_object()
           
 short as_short()
           
 java.lang.String as_string()
           
 Unifiable as_unifiable()
           
 java.lang.Class getType()
          The type of entity this represents (for example, java.lang.Long).
protected  void logicException(java.lang.String s)
          Throw a LogicException.
 boolean unify(boolean v)
           
 boolean unify(byte v)
           
 boolean unify(char v)
           
 boolean unify(double v)
           
 boolean unify(float v)
           
 boolean unify(int v)
           
 boolean unify(long v)
           
 boolean unify(java.lang.Object v)
           
 boolean unify(short v)
           
 boolean unify(Unifiable v)
           
 boolean unify(Variable v)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Unifiable

public Unifiable()
Method Detail

logicException

protected void logicException(java.lang.String s)
Throw a LogicException.


getType

public java.lang.Class getType()
The type of entity this represents (for example, java.lang.Long).


unify

public boolean unify(Variable v)

unify

public boolean unify(Unifiable v)

unify

public boolean unify(boolean v)

unify

public boolean unify(byte v)

unify

public boolean unify(char v)

unify

public boolean unify(short v)

unify

public boolean unify(int v)

unify

public boolean unify(long v)

unify

public boolean unify(float v)

unify

public boolean unify(double v)

unify

public boolean unify(java.lang.Object v)

as_boolean

public boolean as_boolean()

as_char

public char as_char()

as_byte

public byte as_byte()

as_short

public short as_short()

as_int

public int as_int()

as_long

public long as_long()

as_float

public float as_float()

as_double

public double as_double()

as_object

public java.lang.Object as_object()

as_unifiable

public Unifiable as_unifiable()

as_string

public java.lang.String as_string()

JACK 5.4 Application Interface

Copyright (C) 1999-2008, Agent Oriented Software Pty. Ltd.

US Government Restricted Rights
The JACK Modules and relevant Software Material have been developed entirely at private expense and are accordingly provided with RESTRICTED RIGHTS. Use, duplication, or disclosure by Government is subject to restrictions as set forth in subparagraph (c)(1)(ii) of DFARS 252.227-7013 or subparagraph (c)(1) and (2) of the Commercial Computer Software Restricted Rights and 48 CFR 52.2270-19, as applicable.


Agent Oriented Software Pty. Ltd.     http://www.aosgrp.com
PO Box 639, Carlton South, Victoria 3053, Australia
Phone: +61 3 9349 5055, Fax: +61 3 9349 5088