gov.nasa.jpf.vm

Class JPF_java_text_Format

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_java_text_Format

All Implemented Interfaces:

Cloneable

public class JPF_java_text_Format
extends NativePeer

native peer for java.text.Format delegation. This is the place where we keep a map between real formatters and their JPF counterparts (which are just proxies)

Constructor Summary

Constructors

Constructor and Description
JPF_java_text_Format()

Method Summary

Methods

Modifier and Type	Method and Description
static boolean	init(Config conf)

Methods inherited from class gov.nasa.jpf.vm.NativePeer

getInstance, getInstance, getPeerClass, getPeerClassName, initialize, initializePeerClass

Methods inherited from class java.lang.Object

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

Constructor Detail

JPF_java_text_Format

public JPF_java_text_Format()

Method Detail

init

public static boolean init(Config conf)