AbstractionFuncs
Class MSNoutputAbstraction

java.lang.Object
  AbstractionFuncs.MSNoutputAbstraction

All Implemented Interfaces:

AbstractionFunct

public class MSNoutputAbstraction
extends java.lang.Object
implements AbstractionFunct

An abstraction function for the output messages of the MSN protocol

Author:

Serge Gorbunov

Constructor Summary

MSNoutputAbstraction()

Method Summary

java.lang.String	abstractMsg(java.lang.String input)
java.lang.String	getSkipString() Every abstraction function (ie abstractMsg is allowed to have a skip string.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MSNoutputAbstraction

public MSNoutputAbstraction()

Method Detail

abstractMsg

public java.lang.String abstractMsg(java.lang.String input)

Specified by:

abstractMsg in interface AbstractionFunct

Parameters:

input - Input message to be abstracted

Returns:

An abstracted message of the string

getSkipString

public java.lang.String getSkipString()

Description copied from interface: AbstractionFunct

Every abstraction function (ie abstractMsg is allowed to have a skip string. That is when this string is returned from the abstractMsg function, the msg will be included during construction of FSM. And it wont be modified during fuzzing

Specified by:

getSkipString in interface AbstractionFunct

Returns:

Some random string indicating that the msg should not/cannot be abstracted