engine
Class UDPTableEntry

java.lang.Object
  |
  +--engine.UDPTableEntry

class UDPTableEntry

extends java.lang.Object

This represents a line from an UDP table.

Field Summary

(package private) byte[]	inputs for combinational entries, only inputs shall be considered.
(package private) byte[]	oldInputs
(package private) BitVector	output
static byte	sym_0
static byte	sym_1
static byte	sym_any
static byte	sym_b
static byte	sym_f
static byte	sym_n
static byte	sym_none
static byte	sym_p
static byte	sym_r
static byte	sym_star
static byte	sym_x
static char[]	symChars

Constructor Summary

(package private)

UDPTableEntry(java.lang.String sImage, int length, byte type) Creates a new UDPTableEntry by parsing the given String image as taken from the input file and checks that it has the correct length.

Method Summary

(package private) byte	charToSym(char c)
(package private) boolean	isEdgeEntry()
(package private) boolean	match(Result last, Result current) Verifies that matches all the conditions in this entry
(package private) boolean	matchEdge(BitVector l, BitVector c)
(package private) boolean	matchLevel(BitVector b)
(package private) boolean	matchLevelSymbol(byte symbol, int v)
java.lang.String	toString()

Methods inherited from class java.lang.Object

, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait

Field Detail

sym_0

public static final byte sym_0

sym_1

public static final byte sym_1

sym_x

public static final byte sym_x

sym_any

public static final byte sym_any

sym_b

public static final byte sym_b

sym_f

public static final byte sym_f

sym_r

public static final byte sym_r

sym_p

public static final byte sym_p

sym_n

public static final byte sym_n

sym_star

public static final byte sym_star

sym_none

public static final byte sym_none

symChars

public static final char[] symChars

inputs

byte[] inputs

for combinational entries, only inputs shall be considered. For sequantial entries, both inputs and oldInputs will be taken into account when computing the new state. In this latter case the contents of oldInputs is considered only if it's != fom sym_none (which means that in fact this particular position into the sequential entry is a level value).

oldInputs

byte[] oldInputs

output

BitVector output

Constructor Detail

UDPTableEntry

UDPTableEntry(java.lang.String sImage,
              int length,
              byte type)
        throws ParseException

Creates a new UDPTableEntry by parsing the given String image as taken from the input file and checks that it has the correct length. The output value is expected to be the last character in string.

Method Detail

charToSym

byte charToSym(char c)

isEdgeEntry

boolean isEdgeEntry()

match

boolean match(Result last,
              Result current)

Verifies that matches all the conditions in this entry

matchEdge

boolean matchEdge(BitVector l,
                  BitVector c)

matchLevelSymbol

boolean matchLevelSymbol(byte symbol,
                         int v)

matchLevel

boolean matchLevel(BitVector b)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object