com.pilot.jword.reader

Class JMLBorderConverter

java.lang.Object

com.pilot.jword.reader.JMLBorderConverter

All Implemented Interfaces:

Converter

public class JMLBorderConverter
extends java.lang.Object
implements Converter

A helper class for converting JML border expressions to actual border objects.

Constructor Summary

Constructors

Constructor and Description
JMLBorderConverter()

Method Summary

Modifier and Type	Method and Description
java.lang.Object	convert(java.lang.String val) Converts val to a domain object like Color, Border etc.

Methods inherited from class java.lang.Object

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

Constructor Detail

JMLBorderConverter

public JMLBorderConverter()

Method Detail

convert

public java.lang.Object convert(java.lang.String val)
                         throws InvalidParameterException

Description copied from interface: Converter

Converts val to a domain object like Color, Border etc.
Throws InvalidParameterException when the syntax is not correct.

Specified by:

convert in interface Converter

Parameters:

val - converted value

Returns:

domain object

Throws:

InvalidParameterException