JML

Uses of Class
java.lang.String

Packages that use String
java.awt.color   
java.awt.event   
java.io JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
java.lang JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
java.lang.reflect JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
java.math JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
java.net JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
java.security JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
java.sql JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
java.util JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
java.util.regex JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
javax.crypto   
javax.servlet   
javax.servlet.http   
javax.xml.parsers   
org.jmlspecs.ant.tasks   
org.jmlspecs.checker Contains the source code for a parser and typechecker for JML annotations and java code. 
org.jmlspecs.jmldoc The jmldoc tool documents java programs that contain JML (Java Modeling Language) annotations included as specially formatted comments; the generated html pages are very similar to those produced by javadoc, but with annotation information added. 
org.jmlspecs.jmldoc.jmldoc_142   
org.jmlspecs.jmlrac Generates Java classes from JML specifications that check assertions at runtime. 
org.jmlspecs.jmlrac.qexpr Translates JML quantified expressions into Java source code to evaluate them at runtime. 
org.jmlspecs.jmlrac.runtime Classes for use during runtime assertion checking for code compiled with JML's runtime assertion checking compiler (jmlc). 
org.jmlspecs.jmlspec A tool that can generate or compare specification skeletons from Java source or class files. 
org.jmlspecs.jmlunit Generates JUnit test classes from JML specifications. 
org.jmlspecs.jmlunit.strategies The types in this package are used in providing test data for JML/JUnit testing. 
org.jmlspecs.lang This package is a collection of types used in the definition of the JML language. 
org.jmlspecs.launcher The launcher allows the user to access all of the tools in JML. 
org.jmlspecs.models This package is a collection of types with immutable objects; it also enumerators (which have mutable objects) for the types of the immutable collections in the package. 
org.jmlspecs.models.resolve This package is a collection of types with immutable objects based on the RESOLVE specification language's mathematical models. 
org.jmlspecs.racwrap   
org.jmlspecs.racwrap.runner   
org.jmlspecs.samples.dbc This package contains samples of JML specifications written in the style of design by contract. 
org.jmlspecs.samples.digraph This package contains samples of JML specifications for directed graphs. 
org.jmlspecs.samples.dirobserver This package contains samples of JML specifications that illustrate issues in component-based programming relating to callbacks and JML's model program feature. 
org.jmlspecs.samples.jmlkluwer This package contains samples of JML specifications from the paper "JML: a Notation for Detailed Design". 
org.jmlspecs.samples.jmlrefman This package contains samples of JML specifications from the JML Reference Manual
org.jmlspecs.samples.jmltutorial This package contains samples of JML specifications from the tutorials. 
org.jmlspecs.samples.list.list1   
org.jmlspecs.samples.list.list1.node   
org.jmlspecs.samples.list.list2   
org.jmlspecs.samples.list.list3   
org.jmlspecs.samples.list.node   
org.jmlspecs.samples.list.node2   
org.jmlspecs.samples.misc This package contains miscellaneous samples of JML specifications. 
org.jmlspecs.samples.prelimdesign This package contains samples of JML specifications from the paper Preliminary Design of JML
org.jmlspecs.samples.reader This package contains samples of JML specifications relating to some abstractions of input and output. 
org.jmlspecs.samples.sets This package contains samples of JML specifications relating to sets. 
org.jmlspecs.samples.stacks This package contains samples of JML specifications relating to stacks of various sorts. 
org.jmlspecs.samples.table This package contains samples of JML specifications relating to tables. 
org.jmlspecs.util   
org.jmlspecs.util.dis   
org.multijava.dis   
org.multijava.javadoc   
org.multijava.launcher The launcher allows the user to access all of the tools in MJ. 
org.multijava.mjc Implements mjc, a MultiJava compiler. 
org.multijava.mjdoc The mjdoc tool documents java programs that contain MultiJava (MJ) extensions to the Java progamming language; it produces html pages very similar to those produced by the javadoc tool. 
org.multijava.mjdoc.mjdoc_142 The mjdoc tool documents java programs that contain MultiJava (MJ) extensions to the Java progamming language; it produces html pages very similar to those produced by the javadoc tool. 
org.multijava.relaxed.rmjc   
org.multijava.relaxed.runtime   
org.multijava.relaxed.util   
org.multijava.util   
org.multijava.util.backend Provides an optimizer for methods for the compilers in MultiJava and the Java Modeling Language
org.multijava.util.classfile Provides an editor for classfiles used by MultiJava and the Java Modeling Language
org.multijava.util.compiler Provides utilities and superclasses for the compilers in MultiJava and the Java Modeling Language
org.multijava.util.guigen Implements the automatic generation of all of the GUIs for MultiJava and the Java Modeling Language
org.multijava.util.jperf Defines the perfect hashing function generator Package Specification JPerf is the perfect hashing function generator for the compilers in MultiJava and the Java Modeling Language
org.multijava.util.lexgen Provides a lexer for the compilers of MultiJava and the Java Modeling Language
org.multijava.util.msggen Implements the automatic generation of the data structure for all of the compiler messages in MultiJava and the Java Modeling Language
org.multijava.util.optgen Implements the automatic generation of the data structure for all of the command line options in MultiJava and the Java Modeling Language
org.multijava.util.optimize Provides an optimizer for classfiles used by MultiJava and the Java Modeling Language
org.multijava.util.testing Provides JUnit testing utilities for all of the parts of MultiJava and the Java Modeling Language
 

Uses of String in java.awt.color
 

Methods in java.awt.color that return String
 String ColorSpace.getName(int Param0)
           
 

Uses of String in java.awt.event
 

Fields in java.awt.event declared as String
(package private)  String ActionEvent.actionCommand
           
 

Methods in java.awt.event that return String
 String ActionEvent.getActionCommand()
           
 String ActionEvent.paramString()
           
 String ComponentEvent.paramString()
           
 String WindowEvent.paramString()
           
 String ItemEvent.paramString()
           
 

Constructors in java.awt.event with parameters of type String
ActionEvent(Object, int, String)
           
ActionEvent(Object, int, String, int)
           
ActionEvent(Object, int, String, long, int)
           
 

Uses of String in java.io
 

Fields in java.io declared as String
static String File.separator
           
static String File.pathSeparator
           
 

Methods in java.io that return String
abstract  String DataInput.readLine()
           
abstract  String DataInput.readUTF()
           
 String File.getName()
           
 String File.getParent()
           
 String File.getPath()
           
 String File.getAbsolutePath()
           
 String File.getCanonicalPath()
           
 String[] File.list()
           
 String[] File.list(FilenameFilter filter)
           
 String File.toString()
           
 String ByteArrayOutputStream.toString()
           
 String ByteArrayOutputStream.toString(int)
           
 String ByteArrayOutputStream.toString(String)
           
 String BufferedReader.readLine()
           
(package private)  String BufferedReader.readLine(boolean)
           
 String ObjectInputStream.readLine()
           
(package private)  String ObjectInputStream.readTypeString()
           
 String ObjectInputStream.readUTF()
           
private  String ObjectInputStream.readString(boolean)
           
 String InputStreamReader.getEncoding()
           
 String StringWriter.toString()
           
 String OutputStreamWriter.getEncoding()
           
 String RandomAccessFile.readLine()
           
 String RandomAccessFile.readUTF()
           
 

Methods in java.io with parameters of type String
static File File.createTempFile(String prefix, String suffix, File directory)
           
static File File.createTempFile(String prefix, String suffix)
           
 String ByteArrayOutputStream.toString(String)
           
abstract  boolean FilenameFilter.accept(File, String)
           
 void Writer.write(String)
           
 void Writer.write(String, int, int)
           
 void PrintStream.println(String s)
           
 void PrintStream.print(String s)
           
 void PrintWriter.write(String s, int i, int j)
           
 void PrintWriter.write(String s)
           
 void PrintWriter.print(String s)
           
 void PrintWriter.println(String s)
           
protected  Class ObjectInputStream.resolveProxyClass(String[])
           
 void StringWriter.write(String Param0)
           
 void StringWriter.write(String Param0, int Param1, int Param2)
           
 void OutputStreamWriter.write(String s, int i, int j)
           
abstract  void DataOutput.writeBytes(String)
           
abstract  void DataOutput.writeChars(String)
           
abstract  void DataOutput.writeUTF(String)
           
 void RandomAccessFile.writeBytes(String)
           
 void RandomAccessFile.writeChars(String)
           
 void RandomAccessFile.writeUTF(String)
           
private  void RandomAccessFile.open(String, int)
           
 

Constructors in java.io with parameters of type String
IOException(String message)
           
File(String pathname)
           
File(String parent, String child)
           
File(File parent, String child)
           
PrintStream(OutputStream os, boolean Param1, String Param2)
           
UnsupportedEncodingException(String s)
           
InputStreamReader(InputStream Param0, String Param1)
           
OutputStreamWriter(OutputStream o, String s)
           
FileWriter(String)
           
FileWriter(String, boolean)
           
RandomAccessFile(File, String)
           
RandomAccessFile(String, String)
           
 

Uses of String in java.lang
 

Fields in java.lang declared as String
private static String[] ClassLoader.usr_paths
           
private static String[] ClassLoader.sys_paths
           
(package private)  String ThreadGroup.name
           
 

Methods in java.lang that return String
 String Object.toString()
           
 String String.substring(int beginIndex)
           
 String String.substring(int beginIndex, int endIndex)
           
 String String.concat(String str)
           
 String String.replace(char oldChar, char newChar)
           
 String String.replaceFirst(String regex, String replacement)
           
 String String.replaceAll(String regex, String replacement)
           
 String[] String.split(String regex, int limit)
           
 String[] String.split(String regex)
           
 String String.toLowerCase(Locale locale)
           
 String String.toLowerCase()
           
 String String.toUpperCase(Locale locale)
           
 String String.toUpperCase()
           
 String String.trim()
           
 String String.toString()
           
static String String.valueOf(Object obj)
           
static String String.valueOf(char[] data)
           
static String String.valueOf(char[] data, int offset, int count)
           
static String String.copyValueOf(char[] data, int offset, int count)
           
static String String.copyValueOf(char[] data)
           
static String String.valueOf(boolean b)
           
static String String.valueOf(char c)
           
static String String.valueOf(int i)
           
static String String.valueOf(long l)
           
static String String.valueOf(float f)
           
static String String.valueOf(double d)
           
 String String.intern()
           
abstract  String CharSequence.toString()
           
 String Throwable.getMessage()
           
 String Throwable.getLocalizedMessage()
           
 String Throwable.toString()
           
 String Class.toString()
           
 String Class.getName()
           
protected  String ClassLoader.findLibrary(String)
           
private static String[] ClassLoader.initializePath(String)
           
 String StringBuffer.toString()
           
 String StringBuffer.substring(int i)
           
 String StringBuffer.substring(int start, int end)
           
static String Byte.toString(byte b)
           
 String Byte.toString()
           
static String Short.toString(short s)
           
 String Short.toString()
           
static String Integer.toString(int i, int radix)
           
static String Integer.toHexString(int i)
           
static String Integer.toOctalString(int i)
           
static String Integer.toBinaryString(int i)
           
static String Integer.toString(int i)
           
 String Integer.toString()
           
static String Double.toString(double d)
           
 String Double.toString()
           
static String Float.toString(float f)
           
 String Float.toString()
           
static String Long.toString(long i, int radix)
           
static String Long.toHexString(long i)
           
static String Long.toOctalString(long i)
           
static String Long.toBinaryString(long i)
           
static String Long.toString(long i)
           
 String Long.toString()
           
 String Character.toString()
           
static String Character.toString(char c)
           
 String Package.getName()
           
 String Package.getSpecificationTitle()
           
 String Package.getSpecificationVersion()
           
 String Package.getSpecificationVendor()
           
 String Package.getImplementationTitle()
           
 String Package.getImplementationVersion()
           
 String Package.getImplementationVendor()
           
 String Package.toString()
           
 String StackTraceElement.getFileName()
           
 String StackTraceElement.getClassName()
           
 String StackTraceElement.getMethodName()
           
 String StackTraceElement.toString()
           
 String Thread.getName()
           
 String Thread.toString()
           
 String ThreadGroup.getName()
           
 String ThreadGroup.toString()
           
 String Character.Subset.toString()
           
static String System.getProperty(String key)
           
static String System.getProperty(String key, String def)
           
static String System.setProperty(String key, String value)
           
static String System.getenv(String name)
          Deprecated. use java.lang.System.getProperty.
static String System.mapLibraryName(String libname)
           
static String Boolean.toString(boolean b)
           
 String Boolean.toString()
           
 

Methods in java.lang with parameters of type String
 byte[] String.getBytes(String charsetName)
           
 boolean String.equalsIgnoreCase(String anotherString)
           
 int String.compareTo(String anotherString)
           
 int String.compareToIgnoreCase(String str)
           
 boolean String.regionMatches(int toffset, String other, int ooffset, int len)
           
 boolean String.regionMatches(boolean ignoreCase, int toffset, String other, int ooffset, int len)
           
 boolean String.startsWith(String prefix, int toffset)
           
 boolean String.startsWith(String prefix)
           
 boolean String.endsWith(String suffix)
           
 int String.indexOf(String str)
           
 int String.indexOf(String str, int fromIndex)
           
 int String.lastIndexOf(String str)
           
 int String.lastIndexOf(String str, int fromIndex)
           
 String String.concat(String str)
           
 boolean String.matches(String regex)
           
 String String.replaceFirst(String regex, String replacement)
           
 String String.replaceAll(String regex, String replacement)
           
 String[] String.split(String regex, int limit)
           
 String[] String.split(String regex)
           
(package private) static NumberFormatException NumberFormatException.forInputString(String)
           
static Class Class.forName(String className)
           
static Class Class.forName(String name, boolean initialize, ClassLoader loader)
           
 Field Class.getField(String name)
           
 Method Class.getMethod(String name, Class[] parameterTypes)
           
 Field Class.getDeclaredField(String name)
           
 Method Class.getDeclaredMethod(String name, Class[] parameterTypes)
           
 InputStream Class.getResourceAsStream(String name)
           
 URL Class.getResource(String name)
           
(package private) static Class Class.getPrimitiveClass(String name)
           
(package private)  boolean ClassLoader.desiredAssertionStatus(String)
           
 void ClassLoader.setClassAssertionStatus(String, boolean)
           
 void ClassLoader.setPackageAssertionStatus(String, boolean)
           
private  boolean ClassLoader.checkName(String, boolean)
           
 InputStream ClassLoader.getResourceAsStream(String)
           
static InputStream ClassLoader.getSystemResourceAsStream(String)
           
private  Class ClassLoader.findBootstrapClass(String)
           
private  Class ClassLoader.findBootstrapClass0(String)
           
protected  Class ClassLoader.findClass(String)
           
protected  Class ClassLoader.findLoadedClass(String)
           
private  Class ClassLoader.findLoadedClass0(String)
           
protected  Class ClassLoader.findSystemClass(String)
           
 Class ClassLoader.loadClass(String)
           
private  Class ClassLoader.loadClassInternal(String)
           
protected  Class ClassLoader.loadClass(String, boolean)
           
protected  Class ClassLoader.defineClass(String, byte[], int, int)
           
protected  Package ClassLoader.getPackage(String)
           
(package private) static void ClassLoader.loadLibrary(Class, String, boolean)
           
(package private) static long ClassLoader.findNative(ClassLoader, String)
           
protected  String ClassLoader.findLibrary(String)
           
private static String[] ClassLoader.initializePath(String)
           
protected  URL ClassLoader.findResource(String)
           
private static URL ClassLoader.getBootstrapResource(String)
           
 URL ClassLoader.getResource(String)
           
static URL ClassLoader.getSystemResource(String)
           
private  void ClassLoader.checkCerts(String, CodeSource)
           
protected  Enumeration ClassLoader.findResources(String)
           
private static Enumeration ClassLoader.getBootstrapResources(String)
           
 Enumeration ClassLoader.getResources(String)
           
static Enumeration ClassLoader.getSystemResources(String)
           
protected  Class ClassLoader.defineClass(String, byte[], int, int, ProtectionDomain)
           
private  Class ClassLoader.defineClass0(String, byte[], int, int, ProtectionDomain)
           
protected  Package ClassLoader.definePackage(String, String, String, String, String, String, String, URL)
           
 StringBuffer StringBuffer.append(String s)
           
 int StringBuffer.indexOf(String str)
           
 int StringBuffer.indexOf(String str, int fromIndex)
           
 int StringBuffer.lastIndexOf(String str)
           
 int StringBuffer.lastIndexOf(String str, int fromIndex)
           
 StringBuffer StringBuffer.replace(int start, int end, String str)
           
 StringBuffer StringBuffer.insert(int offset, String s)
           
static byte Byte.parseByte(String s)
           
static byte Byte.parseByte(String s, int radix)
           
static Byte Byte.valueOf(String s, int radix)
           
static Byte Byte.valueOf(String s)
           
static Byte Byte.decode(String nm)
           
static short Short.parseShort(String s)
           
static short Short.parseShort(String s, int radix)
           
static Short Short.valueOf(String s, int radix)
           
static Short Short.valueOf(String s)
           
static Short Short.decode(String nm)
           
static int Integer.parseInt(String s, int radix)
           
static int Integer.parseInt(String s)
           
static Integer Integer.valueOf(String s, int radix)
           
static Integer Integer.valueOf(String s)
           
static Integer Integer.getInteger(String nm)
           
static Integer Integer.getInteger(String nm, int val)
           
static Integer Integer.getInteger(String nm, Integer val)
           
static Integer Integer.decode(String nm)
           
static Double Double.valueOf(String s)
           
static double Double.parseDouble(String s)
           
static Float Float.valueOf(String s)
           
static float Float.parseFloat(String s)
           
static long Long.parseLong(String s, int radix)
           
static long Long.parseLong(String s)
           
static Long Long.valueOf(String s, int radix)
           
static Long Long.valueOf(String s)
           
static Long Long.decode(String nm)
           
static Long Long.getLong(String nm)
           
static Long Long.getLong(String nm, long val)
           
static Long Long.getLong(String nm, Long val)
           
 boolean Package.isCompatibleWith(String desired)
           
static Package Package.getPackage(String name)
           
(package private) static Package Package.getSystemPackage(String name)
           
protected  int SecurityManager.classDepth(String name)
          Deprecated.  
protected  boolean SecurityManager.inClass(String name)
          Deprecated.  
 void SecurityManager.checkExec(String cmd)
           
 void SecurityManager.checkLink(String lib)
           
 void SecurityManager.checkRead(String file)
           
 void SecurityManager.checkRead(String file, Object context)
           
 void SecurityManager.checkWrite(String file)
           
 void SecurityManager.checkDelete(String file)
           
 void SecurityManager.checkConnect(String host, int port)
           
 void SecurityManager.checkConnect(String host, int port, Object context)
           
 void SecurityManager.checkAccept(String host, int port)
           
 void SecurityManager.checkPropertyAccess(String key)
           
 void SecurityManager.checkPackageAccess(String pkg)
           
 void SecurityManager.checkPackageDefinition(String pkg)
           
 void SecurityManager.checkSecurityAccess(String target)
           
 void Thread.setName(String)
           
private  void Thread.init(ThreadGroup, Runnable, String, long)
           
static String System.getProperty(String key)
           
static String System.getProperty(String key, String def)
           
static String System.setProperty(String key, String value)
           
static String System.getenv(String name)
          Deprecated. use java.lang.System.getProperty.
static void System.load(String filename)
           
static void System.loadLibrary(String libname)
           
static String System.mapLibraryName(String libname)
           
 Process Runtime.exec(String command)
           
 Process Runtime.exec(String command, String[] envp)
           
 Process Runtime.exec(String command, String[] envp, File dir)
           
 Process Runtime.exec(String[] cmdarray)
           
 Process Runtime.exec(String[] cmdarray, String[] envp)
           
 Process Runtime.exec(String[] cmdarray, String[] envp, File dir)
           
 void Runtime.load(String filename)
           
 void Runtime.loadLibrary(String libname)
           
static Boolean Boolean.valueOf(String s)
           
static boolean Boolean.getBoolean(String name)
           
 

Constructors in java.lang with parameters of type String
String(String original)
           
String(byte[] bytes, int offset, int length, String charsetName)
           
String(byte[] bytes, String charsetName)
           
Throwable(String message)
           
Throwable(String message, Throwable cause)
           
Exception(String message)
           
Exception(String message, Throwable cause)
           
RuntimeException(String message)
           
RuntimeException(String message, Throwable cause)
           
IllegalArgumentException(String s)
           
NumberFormatException(String)
           
NullPointerException(String s)
           
StringBuffer(String s)
           
UnsupportedOperationException(String)
           
ClassCastException(String s)
           
ArithmeticException(String s)
           
IllegalStateException(String s)
           
Byte(String s)
           
Short(String s)
           
Integer(String s)
           
IndexOutOfBoundsException(String s)
           
Double(String s)
           
Float(String s)
           
Long(String s)
           
Error(String message)
           
Error(String message, Throwable cause)
           
VirtualMachineError(String s)
           
OutOfMemoryError(String)
           
NoSuchMethodException(String)
           
SecurityException(String)
           
InternalError(String s)
           
ClassNotFoundException(String)
           
ClassNotFoundException(String, Throwable)
           
CloneNotSupportedException(String s)
           
InstantiationException(String)
           
IllegalAccessException(String)
           
Package(String name, String spectitle, String specversion, String specvendor, String impltitle, String implversion, String implvendor, URL sealbase)
           
NoSuchFieldException(String)
           
Thread(String)
           
Thread(Runnable, String)
           
Thread(ThreadGroup, String)
           
Thread(ThreadGroup, Runnable, String)
           
Thread(ThreadGroup, Runnable, String, long)
           
ThreadGroup(String)
           
ThreadGroup(ThreadGroup, String)
           
StringIndexOutOfBoundsException(String message)
           
Character.Subset(String name)
           
Character.UnicodeBlock(String name)
           
InterruptedException(String message)
           
Boolean(String s)
           
ArrayIndexOutOfBoundsException(String)
           
NegativeArraySizeException(String)
           
 

Uses of String in java.lang.reflect
 

Methods in java.lang.reflect that return String
 String Method.getName()
           
 String Method.toString()
           
abstract  String Member.getName()
           
 String Field.getName()
           
 String Field.toString()
           
(package private) static String Field.getTypeName(Class type)
           
 String Constructor.getName()
           
 String Constructor.toString()
           
 

Constructors in java.lang.reflect with parameters of type String
Method(Class declaringClass, String name, Class[] parameterTypes, Class returnType, Class[] checkedExceptions, int modifiers, int slot)
           
Field(Class declaringClass, String name, Class type, int modifiers, int slot)
           
InvocationTargetException(Throwable, String)
           
 

Uses of String in java.math
 

Methods in java.math that return String
 String BigInteger.toString(int radix)
           
 String BigInteger.toString()
           
 String BigDecimal.toString()
           
private  String BigDecimal.getValueString(int, String, int)
           
private  String BigDecimal.roundup(String)
           
 

Methods in java.math with parameters of type String
private  String BigDecimal.getValueString(int, String, int)
           
private  String BigDecimal.roundup(String)
           
 

Constructors in java.math with parameters of type String
BigInteger(String val, int radix)
           
BigInteger(String val)
           
BigDecimal(String)
           
 

Uses of String in java.net
 

Fields in java.net declared as String
private  String InetAddress.canonicalHostName
           
(package private)  String InetAddress.hostName
           
private static String URLConnection.contentClassPrefix
           
private static String URLConnection.contentPathProp
           
private  String URISyntaxException.input
           
 

Methods in java.net that return String
 String URL.getQuery()
           
 String URL.getPath()
           
 String URL.getUserInfo()
           
 String URL.getAuthority()
           
 String URL.getProtocol()
           
 String URL.getHost()
           
 String URL.getFile()
           
 String URL.getRef()
           
 String URL.toString()
           
 String URL.toExternalForm()
           
 String InetAddress.getCanonicalHostName()
           
 String InetAddress.getHostAddress()
           
 String InetAddress.getHostName()
           
 String InetAddress.toString()
           
(package private)  String InetAddress.getHostName(boolean)
           
private static String InetAddress.getHostFromNameService(InetAddress, boolean)
           
 String URI.getScheme()
           
 String URI.getRawSchemeSpecificPart()
           
 String URI.getSchemeSpecificPart()
           
 String URI.getRawAuthority()
           
 String URI.getAuthority()
           
 String URI.getRawUserInfo()
           
 String URI.getUserInfo()
           
 String URI.getHost()
           
 String URI.getRawPath()
           
 String URI.getPath()
           
 String URI.getRawQuery()
           
 String URI.getQuery()
           
 String URI.getRawFragment()
           
 String URI.getFragment()
           
 String URI.toString()
           
 String URI.toASCIIString()
           
protected  String URLStreamHandler.toExternalForm(URL)
           
 String URLConnection.getContentEncoding()
           
private  String URLConnection.getContentHandlerPkgPrefixes()
           
 String URLConnection.getContentType()
           
 String URLConnection.toString()
           
 String URLConnection.getHeaderField(int)
           
 String URLConnection.getHeaderFieldKey(int)
           
static String URLConnection.guessContentTypeFromStream(InputStream)
           
static String URLConnection.getDefaultRequestProperty(String)
           
 String URLConnection.getHeaderField(String)
           
 String URLConnection.getRequestProperty(String)
           
static String URLConnection.guessContentTypeFromName(String)
           
private  String URLConnection.stripOffParameters(String)
           
private  String URLConnection.typeToPackageName(String)
           
 String URISyntaxException.getInput()
           
 String URISyntaxException.getMessage()
           
 String URISyntaxException.getReason()
           
 

Methods in java.net with parameters of type String
protected  void URL.set(String protocol, String host, int port, String file, String ref)
           
protected  void URL.set(String protocol, String host, int port, String authority, String userInfo, String path, String query_, String ref)
           
private static void InetAddress.updateLookupTable(String)
           
private static Object InetAddress.checkLookupTable(String)
           
private static Object InetAddress.getCachedAddress(String)
           
(package private) static Object InetAddress.loadImpl(String)
           
private static void InetAddress.cacheAddress(String, Object, boolean)
           
static InetAddress InetAddress.getByName(String)
           
static InetAddress[] InetAddress.getAllByName(String)
           
private static InetAddress[] InetAddress.getAllByName0(String)
           
(package private) static InetAddress[] InetAddress.getAllByName0(String, boolean)
           
static InetAddress InetAddress.getByAddress(String, byte[])
           
private static Object InetAddress.getAddressFromNameService(String, InetAddress)
           
private static InetAddress InetAddress.getByName(String, InetAddress)
           
private static InetAddress[] InetAddress.getAllByName(String, InetAddress)
           
private static InetAddress[] InetAddress.getAllByName0(String, InetAddress, boolean)
           
static URI URI.create(String str)
           
 URI URI.resolve(String str)
           
protected  void URLStreamHandler.parseURL(URL, String, int, int)
           
protected  void URLStreamHandler.setURL(URL, String, String, int, String, String)
           
protected  void URLStreamHandler.setURL(URL, String, String, int, String, String, String, String, String)
           
 int URLConnection.getHeaderFieldInt(String, int)
           
 long URLConnection.getHeaderFieldDate(String, long)
           
static String URLConnection.getDefaultRequestProperty(String)
           
 String URLConnection.getHeaderField(String)
           
 String URLConnection.getRequestProperty(String)
           
static String URLConnection.guessContentTypeFromName(String)
           
private  String URLConnection.stripOffParameters(String)
           
private  String URLConnection.typeToPackageName(String)
           
 void URLConnection.addRequestProperty(String, String)
           
static void URLConnection.setDefaultRequestProperty(String, String)
           
 void URLConnection.setRequestProperty(String, String)
           
private  ContentHandler URLConnection.lookupContentHandlerClassFor(String)
           
abstract  URLStreamHandler URLStreamHandlerFactory.createURLStreamHandler(String)
           
 

Constructors in java.net with parameters of type String
URL(String protocol, String host, int port, String file)
           
URL(String protocol, String host, String file)
           
URL(String protocol, String host, int port, String file, URLStreamHandler handler)
           
URL(String spec)
           
URL(URL context, String spec)
           
URL(URL context, String spec, URLStreamHandler handler)
           
URI(String str)
           
URI(String scheme, String userInfo, String host, int port, String path, String query_, String fragment)
           
URI(String scheme, String authority, String path, String query_, String fragment)
           
URI(String scheme, String host, String path, String fragment)
           
URI(String scheme, String ssp, String fragment)
           
MalformedURLException(String)
           
URISyntaxException(String, String)
           
URISyntaxException(String, String, int)
           
 

Uses of String in java.security
 

Fields in java.security declared as String
private  String Permission.name
           
private  String Signature.algorithm
           
private  String Provider.name
           
private  String Provider.info
           
private  String AlgorithmParameters.algorithm
           
 

Methods in java.security that return String
 String ProtectionDomain.toString()
           
abstract  String Permission.getActions()
           
 String Permission.getName()
           
 String Permission.toString()
           
abstract  String Key.getAlgorithm()
           
abstract  String Key.getFormat()
           
 String Signature.getAlgorithm()
           
 String Signature.toString()
           
 String Provider.getInfo()
           
 String Provider.getName()
           
 String Provider.toString()
           
private static String SecureRandom.getPrngAlgorithm()
           
 String AlgorithmParameters.getAlgorithm()
           
 String AlgorithmParameters.toString()
           
abstract  String Principal.getName()
           
abstract  String Principal.toString()
           
 

Methods in java.security with parameters of type String
protected abstract  Object SignatureSpi.engineGetParameter(String)
           
protected abstract  void SignatureSpi.engineSetParameter(String, Object)
           
static Signature Signature.getInstance(String algorithm)
           
static Signature Signature.getInstance(String algorithm, String provider)
           
static Signature Signature.getInstance(String algorithm, Provider provider)
           
 Object Signature.getParameter(String param)
          Deprecated. use getParameters()
 void Signature.setParameter(String param, Object value)
          Deprecated. use setParameter(AlgorithmParameterSpec)
private static void Provider.check(String)
           
(package private) static Provider Provider.loadProvider(String)
           
static SecureRandom SecureRandom.getInstance(String)
           
static SecureRandom SecureRandom.getInstance(String, String)
           
static SecureRandom SecureRandom.getInstance(String, Provider)
           
 byte[] AlgorithmParameters.getEncoded(String)
           
 void AlgorithmParameters.init(byte[], String)
           
static AlgorithmParameters AlgorithmParameters.getInstance(String)
           
static AlgorithmParameters AlgorithmParameters.getInstance(String, String)
           
static AlgorithmParameters AlgorithmParameters.getInstance(String, Provider)
           
 

Constructors in java.security with parameters of type String
Permission(String)
           
Signature(String algorithm)
           
Provider(String)
           
Provider(String, double, String)
           
GeneralSecurityException(String)
           
NoSuchAlgorithmException(String)
           
NoSuchProviderException(String)
           
KeyException(String)
           
InvalidKeyException(String)
           
SignatureException(String)
           
InvalidAlgorithmParameterException(String)
           
AlgorithmParameters(AlgorithmParametersSpi, Provider, String)
           
InvalidParameterException(String)
           
 

Uses of String in java.sql
 

Fields in java.sql declared as String
private  String SQLException.SQLState
           
 String DriverPropertyInfo.name
           
 String DriverPropertyInfo.description
           
 String DriverPropertyInfo.value
           
 String[] DriverPropertyInfo.choices
           
 

Methods in java.sql that return String
 String SQLException.getSQLState()
           
abstract  String Connection.getCatalog()
           
abstract  String Connection.nativeSQL(String sql)
           
 String Time.toString()
           
 String Date.toString()
           
abstract  String ResultSet.getString(int columnIndex)
           
abstract  String ResultSet.getString(String columnName)
           
abstract  String ResultSet.getCursorName()
           
 String Timestamp.toString()
           
abstract  String Ref.getBaseTypeName()
           
abstract  String Clob.getSubString(long, int)
           
abstract  String Array.getBaseTypeName()
           
abstract  String ResultSetMetaData.getCatalogName(int)
           
abstract  String ResultSetMetaData.getColumnClassName(int)
           
abstract  String ResultSetMetaData.getColumnLabel(int)
           
abstract  String ResultSetMetaData.getColumnName(int)
           
abstract  String ResultSetMetaData.getColumnTypeName(int)
           
abstract  String ResultSetMetaData.getSchemaName(int)
           
abstract  String ResultSetMetaData.getTableName(int)
           
abstract  String ParameterMetaData.getParameterClassName(int)
           
abstract  String ParameterMetaData.getParameterTypeName(int)
           
abstract  String DatabaseMetaData.getCatalogSeparator()
           
abstract  String DatabaseMetaData.getCatalogTerm()
           
abstract  String DatabaseMetaData.getDatabaseProductName()
           
abstract  String DatabaseMetaData.getDatabaseProductVersion()
           
abstract  String DatabaseMetaData.getDriverName()
           
abstract  String DatabaseMetaData.getDriverVersion()
           
abstract  String DatabaseMetaData.getExtraNameCharacters()
           
abstract  String DatabaseMetaData.getIdentifierQuoteString()
           
abstract  String DatabaseMetaData.getNumericFunctions()
           
abstract  String DatabaseMetaData.getProcedureTerm()
           
abstract  String DatabaseMetaData.getSQLKeywords()
           
abstract  String DatabaseMetaData.getSchemaTerm()
           
abstract  String DatabaseMetaData.getSearchStringEscape()
           
abstract  String DatabaseMetaData.getStringFunctions()
           
abstract  String DatabaseMetaData.getSystemFunctions()
           
abstract  String DatabaseMetaData.getTimeDateFunctions()
           
abstract  String DatabaseMetaData.getURL()
           
abstract  String DatabaseMetaData.getUserName()
           
abstract  String CallableStatement.getString(int)
           
abstract  String CallableStatement.getString(String)
           
abstract  String Savepoint.getSavepointName()
           
 

Methods in java.sql with parameters of type String
abstract  boolean Driver.acceptsURL(String url)
           
abstract  Connection Driver.connect(String url, Properties info)
           
abstract  DriverPropertyInfo[] Driver.getPropertyInfo(String url, Properties info)
           
abstract  String Connection.nativeSQL(String sql)
           
abstract  CallableStatement Connection.prepareCall(String sql)
           
abstract  CallableStatement Connection.prepareCall(String sql, int resultSetType, int resultSetConcurrency)
           
abstract  CallableStatement Connection.prepareCall(String sql, int resultSetType, int resultSetConcurrency, int resultSetHoldability)
           
abstract  PreparedStatement Connection.prepareStatement(String sql)
           
abstract  PreparedStatement Connection.prepareStatement(String sql, int autoGeneratedKeys)
           
abstract  PreparedStatement Connection.prepareStatement(String sql, int[] columnIndexes)
           
abstract  PreparedStatement Connection.prepareStatement(String sql, int resultSetType, int resultSetConcurrency)
           
abstract  PreparedStatement Connection.prepareStatement(String sql, int resultSetType, int resultSetConcurrency, int resultSetHoldability)
           
abstract  PreparedStatement Connection.prepareStatement(String sql, String[] columnNames)
           
abstract  void Connection.setCatalog(String catalog)
           
abstract  Savepoint Connection.setSavepoint(String name)
           
static Connection DriverManager.getConnection(String url, Properties info)
           
static Connection DriverManager.getConnection(String url, String user, String password)
           
static Connection DriverManager.getConnection(String url)
           
static Driver DriverManager.getDriver(String url)
           
static void DriverManager.println(String message)
           
static Time Time.valueOf(String s)
           
static Date Date.valueOf(String s)
           
abstract  void PreparedStatement.setString(int parameterIndex, String x)
           
abstract  void PreparedStatement.setNull(int paramIndex, int sqlType, String typeName)
           
abstract  int Statement.executeUpdate(String)
           
abstract  void Statement.addBatch(String)
           
abstract  void Statement.setCursorName(String)
           
abstract  boolean Statement.execute(String)
           
abstract  int Statement.executeUpdate(String, int)
           
abstract  boolean Statement.execute(String, int)
           
abstract  int Statement.executeUpdate(String, int[])
           
abstract  boolean Statement.execute(String, int[])
           
abstract  int Statement.executeUpdate(String, String[])
           
abstract  boolean Statement.execute(String, String[])
           
abstract  ResultSet Statement.executeQuery(String)
           
abstract  String ResultSet.getString(String columnName)
           
abstract  boolean ResultSet.getBoolean(String columnName)
           
abstract  byte ResultSet.getByte(String columnName)
           
abstract  short ResultSet.getShort(String columnName)
           
abstract  int ResultSet.getInt(String columnName)
           
abstract  long ResultSet.getLong(String columnName)
           
abstract  float ResultSet.getFloat(String columnName)
           
abstract  double ResultSet.getDouble(String columnName)
           
abstract  BigDecimal ResultSet.getBigDecimal(String columnName, int scale)
           
abstract  byte[] ResultSet.getBytes(String columnName)
           
abstract  Date ResultSet.getDate(String columnName)
           
abstract  Time ResultSet.getTime(String columnName)
           
abstract  Timestamp ResultSet.getTimestamp(String columnName)
           
abstract  InputStream ResultSet.getAsciiStream(String columnName)
           
abstract  InputStream ResultSet.getUnicodeStream(String columnName)
           
abstract  InputStream ResultSet.getBinaryStream(String columnName)
           
abstract  Object ResultSet.getObject(String columnName)
          Can return null if value of entry is an SQL null.
abstract  int ResultSet.findColumn(String columnName)
           
abstract  Reader ResultSet.getCharacterStream(String columnName)
           
abstract  BigDecimal ResultSet.getBigDecimal(String columnName)
           
abstract  void ResultSet.updateString(int columnIndex, String x)
           
abstract  void ResultSet.updateNull(String columnName)
           
abstract  void ResultSet.updateBoolean(String columnName, boolean x)
           
abstract  void ResultSet.updateByte(String columnName, byte x)
           
abstract  void ResultSet.updateShort(String columnName, short x)
           
abstract  void ResultSet.updateInt(String columnName, int x)
           
abstract  void ResultSet.updateLong(String columnName, long x)
           
abstract  void ResultSet.updateFloat(String columnName, float x)
           
abstract  void ResultSet.updateDouble(String columnName, double x)
           
abstract  void ResultSet.updateBigDecimal(String columnName, BigDecimal x)
           
abstract  void ResultSet.updateString(String columnName, String x)
           
abstract  void ResultSet.updateBytes(String columnName, byte[] x)
           
abstract  void ResultSet.updateDate(String columnName, Date x)
           
abstract  void ResultSet.updateTime(String columnName, Time x)
           
abstract  void ResultSet.updateTimestamp(String columnName, Timestamp x)
           
abstract  void ResultSet.updateAsciiStream(String columnName, InputStream x, int length)
           
abstract  void ResultSet.updateBinaryStream(String columnName, InputStream x, int length)
           
abstract  void ResultSet.updateCharacterStream(String columnName, Reader reader, int length)
           
abstract  void ResultSet.updateObject(String columnName, Object x, int scale)
           
abstract  void ResultSet.updateObject(String columnName, Object x)
           
abstract  Object ResultSet.getObject(String colName, Map map)
           
abstract  Ref ResultSet.getRef(String colName)
           
abstract  Blob ResultSet.getBlob(String colName)
           
abstract  Clob ResultSet.getClob(String colName)
           
abstract  Array ResultSet.getArray(String colName)
           
abstract  Date ResultSet.getDate(String columnName, Calendar cal)
           
abstract  Time ResultSet.getTime(String columnName, Calendar cal)
           
abstract  Timestamp ResultSet.getTimestamp(String columnName, Calendar cal)
           
abstract  URL ResultSet.getURL(String columnName)
           
abstract  void ResultSet.updateRef(String columnName, Ref x)
           
abstract  void ResultSet.updateBlob(String columnName, Blob x)
           
abstract  void ResultSet.updateClob(String columnName, Clob x)
           
abstract  void ResultSet.updateArray(String columnName, Array x)
           
static Timestamp Timestamp.valueOf(String)
           
abstract  int Clob.setString(long, String)
           
abstract  int Clob.setString(long, String, int, int)
           
abstract  long Clob.position(String, long)
           
abstract  ResultSet DatabaseMetaData.getExportedKeys(String, String, String)
           
abstract  ResultSet DatabaseMetaData.getImportedKeys(String, String, String)
           
abstract  ResultSet DatabaseMetaData.getPrimaryKeys(String, String, String)
           
abstract  ResultSet DatabaseMetaData.getProcedures(String, String, String)
           
abstract  ResultSet DatabaseMetaData.getSuperTables(String, String, String)
           
abstract  ResultSet DatabaseMetaData.getSuperTypes(String, String, String)
           
abstract  ResultSet DatabaseMetaData.getTablePrivileges(String, String, String)
           
abstract  ResultSet DatabaseMetaData.getVersionColumns(String, String, String)
           
abstract  ResultSet DatabaseMetaData.getBestRowIdentifier(String, String, String, int, boolean)
           
abstract  ResultSet DatabaseMetaData.getIndexInfo(String, String, String, boolean, boolean)
           
abstract  ResultSet DatabaseMetaData.getUDTs(String, String, String, int[])
           
abstract  ResultSet DatabaseMetaData.getAttributes(String, String, String, String)
           
abstract  ResultSet DatabaseMetaData.getColumnPrivileges(String, String, String, String)
           
abstract  ResultSet DatabaseMetaData.getColumns(String, String, String, String)
           
abstract  ResultSet DatabaseMetaData.getProcedureColumns(String, String, String, String)
           
abstract  ResultSet DatabaseMetaData.getTables(String, String, String, String[])
           
abstract  ResultSet DatabaseMetaData.getCrossReference(String, String, String, String, String, String)
           
abstract  void CallableStatement.registerOutParameter(int, int, String)
           
abstract  byte CallableStatement.getByte(String)
           
abstract  double CallableStatement.getDouble(String)
           
abstract  float CallableStatement.getFloat(String)
           
abstract  int CallableStatement.getInt(String)
           
abstract  long CallableStatement.getLong(String)
           
abstract  short CallableStatement.getShort(String)
           
abstract  boolean CallableStatement.getBoolean(String)
           
abstract  byte[] CallableStatement.getBytes(String)
           
abstract  void CallableStatement.setByte(String, byte)
           
abstract  void CallableStatement.setDouble(String, double)
           
abstract  void CallableStatement.setFloat(String, float)
           
abstract  void CallableStatement.registerOutParameter(String, int)
           
abstract  void CallableStatement.setInt(String, int)
           
abstract  void CallableStatement.setNull(String, int)
           
abstract  void CallableStatement.registerOutParameter(String, int, int)
           
abstract  void CallableStatement.setLong(String, long)
           
abstract  void CallableStatement.setShort(String, short)
           
abstract  void CallableStatement.setBoolean(String, boolean)
           
abstract  void CallableStatement.setBytes(String, byte[])
           
abstract  void CallableStatement.setAsciiStream(String, InputStream, int)
           
abstract  void CallableStatement.setBinaryStream(String, InputStream, int)
           
abstract  void CallableStatement.setCharacterStream(String, Reader, int)
           
abstract  Object CallableStatement.getObject(String)
           
abstract  void CallableStatement.setObject(String, Object)
           
abstract  void CallableStatement.setObject(String, Object, int)
           
abstract  void CallableStatement.setObject(String, Object, int, int)
           
abstract  String CallableStatement.getString(String)
           
abstract  void CallableStatement.registerOutParameter(String, int, String)
           
abstract  void CallableStatement.setNull(String, int, String)
           
abstract  void CallableStatement.setString(String, String)
           
abstract  BigDecimal CallableStatement.getBigDecimal(String)
           
abstract  void CallableStatement.setBigDecimal(String, BigDecimal)
           
abstract  URL CallableStatement.getURL(String)
           
abstract  void CallableStatement.setURL(String, URL)
           
abstract  Array CallableStatement.getArray(String)
           
abstract  Blob CallableStatement.getBlob(String)
           
abstract  Clob CallableStatement.getClob(String)
           
abstract  Date CallableStatement.getDate(String)
           
abstract  void CallableStatement.setDate(String, Date)
           
abstract  Ref CallableStatement.getRef(String)
           
abstract  Time CallableStatement.getTime(String)
           
abstract  void CallableStatement.setTime(String, Time)
           
abstract  Timestamp CallableStatement.getTimestamp(String)
           
abstract  void CallableStatement.setTimestamp(String, Timestamp)
           
abstract  Object CallableStatement.getObject(String, Map)
           
abstract  Date CallableStatement.getDate(String, Calendar)
           
abstract  Time CallableStatement.getTime(String, Calendar)
           
abstract  Timestamp CallableStatement.getTimestamp(String, Calendar)
           
abstract  void CallableStatement.setDate(String, Date, Calendar)
           
abstract  void CallableStatement.setTime(String, Time, Calendar)
           
abstract  void CallableStatement.setTimestamp(String, Timestamp, Calendar)
           
 

Constructors in java.sql with parameters of type String
SQLException(String)
           
SQLException(String, String)
           
SQLException(String, String, int)
           
DriverPropertyInfo(String, String)
           
SQLWarning(String)
           
SQLWarning(String, String)
           
SQLWarning(String, String, int)
           
 

Uses of String in java.util
 

Fields in java.util declared as String
private static String Properties.strictKeyValueSeparators
           
private static String Properties.whiteSpaceChars
           
private static String Properties.keyValueSeparators
           
private static String Properties.specialSaveChars
           
private  String MissingResourceException.key
           
private  String MissingResourceException.className
           
private  String TimeZone.ID
           
(package private) static String TimeZone.GMT_ID
           
 

Methods in java.util that return String
 String EventObject.toString()
           
 String AbstractCollection.toString()
           
 String Hashtable.toString()
           
 String AbstractMap.toString()
           
 String Vector.toString()
           
 String Properties.getProperty(String)
           
private  String Properties.loadConvert(String)
           
private  String Properties.saveConvert(String, boolean)
           
 String Properties.getProperty(String, String)
           
static String[] Locale.getISOCountries()
           
static String[] Locale.getISOLanguages()
           
 String Locale.getLanguage()
           
 String Locale.getCountry()
           
 String Locale.getVariant()
           
 String Locale.toString()
           
 String Locale.getISO3Language()
           
 String Locale.getISO3Country()
           
 String Locale.getDisplayLanguage()
           
 String Locale.getDisplayLanguage(Locale inLocale)
           
 String Locale.getDisplayCountry()
           
 String Locale.getDisplayCountry(Locale inLocale)
           
 String Locale.getDisplayVariant()
           
 String Locale.getDisplayVariant(Locale inLocale)
           
 String Locale.getDisplayName()
           
 String Locale.getDisplayName(Locale inLocale)
           
 String MissingResourceException.getClassName()
           
 String MissingResourceException.getKey()
           
 String Calendar.toString()
           
 String TimeZone.getDisplayName()
           
 String TimeZone.getID()
           
private static String TimeZone.getSystemGMTOffsetID()
           
static String[] TimeZone.getAvailableIDs()
           
static String[] TimeZone.getAvailableIDs(int)
           
 String TimeZone.getDisplayName(boolean, int)
           
 String TimeZone.getDisplayName(Locale)
           
 String TimeZone.getDisplayName(boolean, int, Locale)
           
private static String TimeZone.getSystemTimeZoneID(String, String)
           
 String Date.toString()
           
 String Date.toLocaleString()
          Deprecated. as of JDK 1.1
 String Date.toGMTString()
          Deprecated. as of JDK 1.1
 String HashMap.Entry.toString()
           
 String BitSet.toString()
           
 String ResourceBundle.getString(String key)
           
 String[] ResourceBundle.getStringArray(String key)
           
 String AbstractMap.SimpleEntry.toString()
           
 String TreeMap.Entry.toString()
           
 

Methods in java.util with parameters of type String
private  boolean Properties.continueLine(String)
           
private static void Properties.writeln(BufferedWriter, String)
           
 void Properties.save(OutputStream, String)
           
 void Properties.store(OutputStream, String)
           
 String Properties.getProperty(String)
           
private  String Properties.loadConvert(String)
           
private  String Properties.saveConvert(String, boolean)
           
 Object Properties.setProperty(String, String)
           
 String Properties.getProperty(String, String)
           
 void TimeZone.setID(String)
           
static TimeZone TimeZone.getTimeZone(String)
           
private static TimeZone TimeZone.parseCustomTimeZone(String)
           
private static TimeZone TimeZone.getTimeZone(String, boolean)
           
private static String TimeZone.getSystemTimeZoneID(String, String)
           
static long Date.parse(String s)
          Deprecated. as of JDK 1.1
 String ResourceBundle.getString(String key)
           
 String[] ResourceBundle.getStringArray(String key)
           
 Object ResourceBundle.getObject(String key)
           
static ResourceBundle ResourceBundle.getBundle(String baseName)
           
static ResourceBundle ResourceBundle.getBundle(String baseName, Locale locale)
           
static ResourceBundle ResourceBundle.getBundle(String baseName, Locale locale, ClassLoader loader)
           
protected abstract  Object ResourceBundle.handleGetObject(String key)
           
 

Constructors in java.util with parameters of type String
NoSuchElementException(String s)
           
Locale(String language, String country, String variant)
           
Locale(String language, String country)
           
Locale(String language)
           
MissingResourceException(String, String, String)
           
Date(String s)
          Deprecated. as of JDK 1.1
 

Uses of String in java.util.regex
 

Methods in java.util.regex that return String
 String Pattern.pattern()
           
 String[] Pattern.split(CharSequence input, int limit)
           
 String[] Pattern.split(CharSequence input)
           
 String Matcher.group()
           
 String Matcher.group(int group)
           
 String Matcher.replaceAll(String replacement)
           
 String Matcher.replaceFirst(String replacement)
           
 

Methods in java.util.regex with parameters of type String
static Pattern Pattern.compile(String regex)
           
static Pattern Pattern.compile(String regex, int flags)
           
static boolean Pattern.matches(String regex, CharSequence input)
           
 Matcher Matcher.appendReplacement(StringBuffer sb, String replacement)
           
 String Matcher.replaceAll(String replacement)
           
 String Matcher.replaceFirst(String replacement)
           
 

Uses of String in javax.crypto
 

Fields in javax.crypto declared as String
private  String ExemptionMechanism.mechanism
           
 

Methods in javax.crypto that return String
 String SecretKeyFactory.getAlgorithm()
           
 String Cipher.getAlgorithm()
           
 String ExemptionMechanism.getName()
           
 

Methods in javax.crypto with parameters of type String
static SecretKeyFactory SecretKeyFactory.getInstance(String algorithm)
           
static SecretKeyFactory SecretKeyFactory.getInstance(String algorithm, String provider)
           
static SecretKeyFactory SecretKeyFactory.getInstance(String algorithm, Provider provider)
           
static Cipher Cipher.getInstance(String transformation)
           
static Cipher Cipher.getInstance(String transformation, String provider)
           
static Cipher Cipher.getInstance(String Param0, Provider Param1)
           
 Key Cipher.unwrap(byte[] Param0, String Param1, int Param2)
           
protected abstract  void CipherSpi.engineSetMode(String)
           
protected abstract  void CipherSpi.engineSetPadding(String)
           
protected  Key CipherSpi.engineUnwrap(byte[], String, int)
           
static ExemptionMechanism ExemptionMechanism.getInstance(String)
           
static ExemptionMechanism ExemptionMechanism.getInstance(String, String)
           
static ExemptionMechanism ExemptionMechanism.getInstance(String, Provider)
           
 

Constructors in javax.crypto with parameters of type String
SecretKeyFactory(SecretKeyFactorySpi keyFacSpi, Provider provider, String algorithm)
           
Cipher(CipherSpi Param0, Provider Param1, String Param2)
           
NoSuchPaddingException(String)
           
ExemptionMechanism(ExemptionMechanismSpi, Provider, String)
           
ShortBufferException(String)
           
IllegalBlockSizeException(String)
           
BadPaddingException(String)
           
 

Uses of String in javax.servlet
 

Methods in javax.servlet that return String
 String ServletResponseWrapper.getCharacterEncoding()
           
 String ServletResponseWrapper.getContentType()
           
abstract  String ServletResponse.getCharacterEncoding()
           
abstract  String ServletResponse.getContentType()
           
abstract  String FilterConfig.getFilterName()
           
abstract  String FilterConfig.getInitParameter(String name)
           
abstract  String ServletRequest.getCharacterEncoding()
           
abstract  String ServletRequest.getContentType()
           
abstract  String ServletRequest.getParameter(String name)
           
abstract  String[] ServletRequest.getParameterValues(String name)
           
abstract  String ServletRequest.getProtocol()
           
abstract  String ServletRequest.getScheme()
           
abstract  String ServletRequest.getServerName()
           
abstract  String ServletRequest.getRemoteAddr()
           
abstract  String ServletRequest.getRemoteHost()
           
abstract  String ServletRequest.getRealPath(String path)
          Deprecated.  
abstract  String ServletRequest.getLocalName()
           
abstract  String ServletRequest.getLocalAddr()
           
abstract  String ServletContext.getMimeType(String file)
           
abstract  String ServletContext.getRealPath(String path)
           
abstract  String ServletContext.getServerInfo()
           
abstract  String ServletContext.getInitParameter(String name)
           
abstract  String ServletContext.getServletContextName()
           
abstract  String ServletConfig.getServletName()
           
abstract  String ServletConfig.getInitParameter(String name)
           
 String ServletRequestAttributeEvent.getName()
           
abstract  String Servlet.getServletInfo()
           
 String ServletContextAttributeEvent.getName()
           
 String ServletRequestWrapper.getCharacterEncoding()
           
 String ServletRequestWrapper.getContentType()
           
 String ServletRequestWrapper.getParameter(String name)
           
 String[] ServletRequestWrapper.getParameterValues(String name)
           
 String ServletRequestWrapper.getProtocol()
           
 String ServletRequestWrapper.getScheme()
           
 String ServletRequestWrapper.getServerName()
           
 String ServletRequestWrapper.getRemoteAddr()
           
 String ServletRequestWrapper.getRemoteHost()
           
 String ServletRequestWrapper.getRealPath(String path)
           
 String ServletRequestWrapper.getLocalName()
           
 String ServletRequestWrapper.getLocalAddr()
           
 String GenericServlet.getInitParameter(String name)
           
 String GenericServlet.getServletInfo()
           
 String GenericServlet.getServletName()
           
 

Methods in javax.servlet with parameters of type String
 void ServletResponseWrapper.setCharacterEncoding(String charset)
           
 void ServletResponseWrapper.setContentType(String type)
           
abstract  void ServletResponse.setCharacterEncoding(String charset)
           
abstract  void ServletResponse.setContentType(String type)
           
 void ServletOutputStream.print(String s)
           
 void ServletOutputStream.println(String s)
           
abstract  String FilterConfig.getInitParameter(String name)
           
abstract  Object ServletRequest.getAttribute(String name)
           
abstract  void ServletRequest.setCharacterEncoding(String env)
           
abstract  String ServletRequest.getParameter(String name)
           
abstract  String[] ServletRequest.getParameterValues(String name)
           
abstract  void ServletRequest.setAttribute(String name, Object o)
           
abstract  void ServletRequest.removeAttribute(String name)
           
abstract  RequestDispatcher ServletRequest.getRequestDispatcher(String path)
           
abstract  String ServletRequest.getRealPath(String path)
          Deprecated.  
abstract  ServletContext ServletContext.getContext(String uripath)
           
abstract  String ServletContext.getMimeType(String file)
           
abstract  Set ServletContext.getResourcePaths(String path)
           
abstract  URL ServletContext.getResource(String path)
           
abstract  InputStream ServletContext.getResourceAsStream(String path)
           
abstract  RequestDispatcher ServletContext.getRequestDispatcher(String path)
           
abstract  RequestDispatcher ServletContext.getNamedDispatcher(String name)
           
abstract  Servlet ServletContext.getServlet(String name)
          Deprecated.  
abstract  void ServletContext.log(String msg)
           
abstract  void ServletContext.log(Exception exception, String msg)
          Deprecated.  
abstract  void ServletContext.log(String message, Throwable throwable)
           
abstract  String ServletContext.getRealPath(String path)
           
abstract  String ServletContext.getInitParameter(String name)
           
abstract  Object ServletContext.getAttribute(String name)
           
abstract  void ServletContext.setAttribute(String name, Object object)
           
abstract  void ServletContext.removeAttribute(String name)
           
abstract  String ServletConfig.getInitParameter(String name)
           
 Object ServletRequestWrapper.getAttribute(String name)
           
 void ServletRequestWrapper.setCharacterEncoding(String enc)
           
 String ServletRequestWrapper.getParameter(String name)
           
 String[] ServletRequestWrapper.getParameterValues(String name)
           
 void ServletRequestWrapper.setAttribute(String name, Object o)
           
 void ServletRequestWrapper.removeAttribute(String name)
           
 RequestDispatcher ServletRequestWrapper.getRequestDispatcher(String path)
           
 String ServletRequestWrapper.getRealPath(String path)
           
 String GenericServlet.getInitParameter(String name)
           
 void GenericServlet.log(String msg)
           
 void GenericServlet.log(String message, Throwable t)
           
 

Constructors in javax.servlet with parameters of type String
ServletException(String message)
           
ServletException(String message, Throwable rootCause)
           
ServletRequestAttributeEvent(ServletContext sc, ServletRequest request, String name, Object value)
           
ServletContextAttributeEvent(ServletContext source, String name, Object value)
           
UnavailableException(Servlet servlet, String msg)
          Deprecated.  
UnavailableException(int seconds, Servlet servlet, String msg)
          Deprecated.  
UnavailableException(String msg)
           
UnavailableException(String msg, int seconds)
           
 

Uses of String in javax.servlet.http
 

Fields in javax.servlet.http declared as String
static String HttpServletRequest.BASIC_AUTH
           
static String HttpServletRequest.FORM_AUTH
           
static String HttpServletRequest.CLIENT_CERT_AUTH
           
static String HttpServletRequest.DIGEST_AUTH
           
 

Methods in javax.servlet.http that return String
 String HttpSessionBindingEvent.getName()
           
abstract  String HttpSession.getId()
           
abstract  String[] HttpSession.getValueNames()
          Deprecated.  
abstract  String HttpServletRequest.getAuthType()
           
abstract  String HttpServletRequest.getHeader(String name)
           
abstract  String HttpServletRequest.getMethod()
           
abstract  String HttpServletRequest.getPathInfo()
           
abstract  String HttpServletRequest.getPathTranslated()
           
abstract  String HttpServletRequest.getContextPath()
           
abstract  String HttpServletRequest.getQueryString()
           
abstract  String HttpServletRequest.getRemoteUser()
           
abstract  String HttpServletRequest.getRequestedSessionId()
           
abstract  String HttpServletRequest.getRequestURI()
           
abstract  String HttpServletRequest.getServletPath()
           
abstract  String HttpServletResponse.encodeURL(String url)
           
abstract  String HttpServletResponse.encodeRedirectURL(String url)
           
abstract  String HttpServletResponse.encodeUrl(String url)
          Deprecated.  
abstract  String HttpServletResponse.encodeRedirectUrl(String url)
          Deprecated.  
 String Cookie.getComment()
           
 String Cookie.getDomain()
           
 String Cookie.getPath()
           
 String Cookie.getName()
           
 String Cookie.getValue()
           
 String HttpServletRequestWrapper.getAuthType()
           
 String HttpServletRequestWrapper.getHeader(String name)
           
 String HttpServletRequestWrapper.getMethod()
           
 String HttpServletRequestWrapper.getPathInfo()
           
 String HttpServletRequestWrapper.getPathTranslated()
           
 String HttpServletRequestWrapper.getContextPath()
           
 String HttpServletRequestWrapper.getQueryString()
           
 String HttpServletRequestWrapper.getRemoteUser()
           
 String HttpServletRequestWrapper.getRequestedSessionId()
           
 String HttpServletRequestWrapper.getRequestURI()
           
 String HttpServletRequestWrapper.getServletPath()
           
 String HttpServletResponseWrapper.encodeURL(String url)
           
 String HttpServletResponseWrapper.encodeRedirectURL(String url)
           
 String HttpServletResponseWrapper.encodeUrl(String url)
           
 String HttpServletResponseWrapper.encodeRedirectUrl(String url)
           
 

Methods in javax.servlet.http with parameters of type String
abstract  Object HttpSession.getAttribute(String name)
           
abstract  Object HttpSession.getValue(String name)
          Deprecated.  
abstract  void HttpSession.setAttribute(String name, Object value)
           
abstract  void HttpSession.putValue(String name, Object value)
          Deprecated.  
abstract  void HttpSession.removeAttribute(String name)
           
abstract  void HttpSession.removeValue(String name)
          Deprecated.  
abstract  HttpSession HttpSessionContext.getSession(String sessionId)
          Deprecated.  
static Hashtable HttpUtils.parseQueryString(String s)
          Deprecated.  
abstract  long HttpServletRequest.getDateHeader(String name)
           
abstract  String HttpServletRequest.getHeader(String name)
           
abstract  Enumeration HttpServletRequest.getHeaders(String name)
           
abstract  int HttpServletRequest.getIntHeader(String name)
           
abstract  boolean HttpServletRequest.isUserInRole(String role)
           
abstract  boolean HttpServletResponse.containsHeader(String name)
           
abstract  String HttpServletResponse.encodeURL(String url)
           
abstract  String HttpServletResponse.encodeRedirectURL(String url)
           
abstract  String HttpServletResponse.encodeUrl(String url)
          Deprecated.  
abstract  String HttpServletResponse.encodeRedirectUrl(String url)
          Deprecated.  
abstract  void HttpServletResponse.sendError(int sc, String msg)
           
abstract  void HttpServletResponse.sendRedirect(String location)
           
abstract  void HttpServletResponse.setDateHeader(String name, long date)
           
abstract  void HttpServletResponse.addDateHeader(String name, long date)
           
abstract  void HttpServletResponse.setHeader(String name, String value)
           
abstract  void HttpServletResponse.addHeader(String name, String value)
           
abstract  void HttpServletResponse.setIntHeader(String name, int value)
           
abstract  void HttpServletResponse.addIntHeader(String name, int value)
           
abstract  void HttpServletResponse.setStatus(int sc, String sm)
          Deprecated.  
 void Cookie.setComment(String purpose)
           
 void Cookie.setDomain(String pattern)
           
 void Cookie.setPath(String uri)
           
 void Cookie.setValue(String newValue)
           
 long HttpServletRequestWrapper.getDateHeader(String name)
           
 String HttpServletRequestWrapper.getHeader(String name)
           
 Enumeration HttpServletRequestWrapper.getHeaders(String name)
           
 int HttpServletRequestWrapper.getIntHeader(String name)
           
 boolean HttpServletRequestWrapper.isUserInRole(String role)
           
 boolean HttpServletResponseWrapper.containsHeader(String name)
           
 String HttpServletResponseWrapper.encodeURL(String url)
           
 String HttpServletResponseWrapper.encodeRedirectURL(String url)
           
 String HttpServletResponseWrapper.encodeUrl(String url)
           
 String HttpServletResponseWrapper.encodeRedirectUrl(String url)
           
 void HttpServletResponseWrapper.sendError(int sc, String msg)
           
 void HttpServletResponseWrapper.sendRedirect(String location)
           
 void HttpServletResponseWrapper.setDateHeader(String name, long date)
           
 void HttpServletResponseWrapper.addDateHeader(String name, long date)
           
 void HttpServletResponseWrapper.setHeader(String name, String value)
           
 void HttpServletResponseWrapper.addHeader(String name, String value)
           
 void HttpServletResponseWrapper.setIntHeader(String name, int value)
           
 void HttpServletResponseWrapper.addIntHeader(String name, int value)
           
 void HttpServletResponseWrapper.setStatus(int sc, String sm)
           
 

Constructors in javax.servlet.http with parameters of type String
HttpSessionBindingEvent(HttpSession session, String name)
           
HttpSessionBindingEvent(HttpSession session, String name, Object value)
           
Cookie(String name, String value)
           
 

Uses of String in javax.xml.parsers
 

Methods in javax.xml.parsers that return String
 String FactoryConfigurationError.getMessage()
           
 

Methods in javax.xml.parsers with parameters of type String
abstract  void SAXParserFactory.setFeature(String name, boolean value)
           
abstract  boolean SAXParserFactory.getFeature(String name)
           
abstract  Object SAXParser.getProperty(String)
           
abstract  void SAXParser.setProperty(String, Object)
           
 void SAXParser.parse(String, HandlerBase)
           
 void SAXParser.parse(String, DefaultHandler)
           
 void SAXParser.parse(InputStream, HandlerBase, String)
           
 void SAXParser.parse(InputStream, DefaultHandler, String)
           
 

Constructors in javax.xml.parsers with parameters of type String
FactoryConfigurationError(String)
           
FactoryConfigurationError(Exception, String)
           
ParserConfigurationException(String)
           
 

Uses of String in org.jmlspecs.ant.tasks
 

Fields in org.jmlspecs.ant.tasks declared as String
private  String CommonOptionsTask._classPath
           
private  String CommonOptionsTask._destination
           
private  String CommonOptionsTask._sourcePath
           
private  String DocTask.Package._name
           
 

Methods in org.jmlspecs.ant.tasks that return String
 String[] CommonOptionsTask.getArguments()
          Return an array of the argument strings for running a JML tool.
 String CommonOptionsTask.getClasspath()
          Return the classpath of this CheckTask.
 String CommonOptionsTask.getDestination()
          Return the destination of this CompileTask.
 String CommonOptionsTask.getSourcepath()
          Return the sourcepath of this CheckTask.
 String DocTask.Package.getName()
           
 

Methods in org.jmlspecs.ant.tasks with parameters of type String
 void CommonOptionsTask.setClasspath(String classpath)
          Set the CLASSPATH.
 void CommonOptionsTask.setDestination(String destination)
          Set the destination of this CompileTask.
 void CommonOptionsTask.setSourcepath(String sourcepath)
          Set the sourcepath for the JML checker.
static void DocTask.main(String[] args)
           
 void DocTask.Package.setName(String string)
           
 

Uses of String in org.jmlspecs.checker
 

Fields in org.jmlspecs.checker declared as String
static String JmlNode.MJCVISIT_MESSAGE
           
static String Constants.JML_JMLObjectSet
           
static String[] Constants.ACCESS_FLAG_NAMES
          These arrays are used to map flags to names for pretty printing and error messages and to issue style warnings for modifiers out of order.
static String Constants.TN_JMLOBJECTSET
          Used in typechecking set comprehension expressions.
static String Constants.TN_JMLVALUESET
          Used in typechecking set comprehension expressions.
static String Constants.TN_JMLTYPE
          Used in typechecking set comprehension expressions.
private  String JmlMapsIntoClause.fieldId
           
(package private) static String[] JmlFileFinder.suffixes
           
(package private) static String[] JmlFileFinder.suffixes1
           
(package private) static String JmlFileFinder.SYMBOL_SUFFIX
           
private  String JmlInformalStoreRef.text
          The text of this informal description store reference.
private  String JmlLabeled.label
           
static String[] JmlParser._tokenNames
           
private  String JmlRefinePrefix.fileName
           
private  String JmlRefinePrefix.packageName
           
private  String JmlStoreRefExpression.name
           
private  String JmlName.ident
           
private  String JmlName.name
           
private  String JmlMethodNameList.stringRepresentation
           
protected  String JmlMethodName.stringRepresentation
          Internally used
private  String JmlSignalsClause.ident
           
private  String JmlVariableDefinition.racField
          The name of RAC field generated for this variable.
private  String JmlMethodDeclaration.thisStringRep
           
private  String JmlOldExpression.label
           
private  String JmlCommonOptions.filter
           
private  String JmlCommonOptions.experiment
           
private  String JmlCommonOptions.universesx
           
private  String JmlCommonOptions.excludefiles
           
private  String JmlCommonOptions.admissibility
           
private static String[] Main.Filter.suffixes
           
private  String JmlInformalExpression.text
          The text of this informal description.
private  String JmlLabelExpression.ident
           
private  String JmlSetComprehension.ident
           
private  String JavadocJmlLexer.eol
           
private static String NonNullStatistics.currMethod
           
private static String NonNullStatistics.currClass
           
private static String[] NonNullStatistics.strArgs
           
static String JmlAdmissibilityVisitor.ADMISSIBILITY_CLASSICAL
          Command line option to enable classical admissibility checks
static String JmlAdmissibilityVisitor.ADMISSIBILITY_NONE
          Command line option to disable admissibility checks
static String JmlAdmissibilityVisitor.ADMISSIBILITY_OWNERSHIP
          Command line option to enable ownership admissibility checks
(package private)  String JmlGUI.JmlGUIFileFilter.suffix
           
private  String[] JmlGUI.JmlCompilation.files
           
static String[] JavadocJmlParser._tokenNames
           
 

Methods in org.jmlspecs.checker that return String
protected  String Main.getWarningFilterNameFromOptions(MjcCommonOptions opts)
           
static String Main.makeRelative(String path, String referenceDir, String separator)
          This function should return a path for the first argument that is relative to the second argument (which may be a directory or a file); if the paths are the same, an empty string is returned.
protected static String JmlNode.privacyString(long privacy)
          Return a string representation of the given visibility; the argument may be the complete set of modifiers; note that "package" is returned if no visibility level is specified.
 String JmlFormalParameter.modifiersAsString()
          Returns any parameter modifiers as a String; if the String is not empty, it will have a trailing space.
 String JmlMemberDeclaration.stringRepresentation()
           
 String JmlMemberDeclaration.findJavaFileInRefinement()
           
 String JmlFieldDeclaration.ident()
          Returns the identifier of this field declaration
 String JmlMapsIntoClause.fieldIdent()
           
 String JmlDataGroupMemberMap.toString()
           
 String JmlInformalStoreRef.text()
           
 String JmlLabeled.label()
           
 String JmlPredicate.toString()
           
 String JmlParser.jIdentifier()
           
 String JmlRefinePrefix.fileName()
           
 String JmlStoreRefExpression.getName()
           
 String JmlStoreRefExpression.toString()
           
 String JmlName.ident()
           
 String JmlName.getName()
           
 String JmlMethodNameList.toString()
           
 String JmlSpecExpression.toString()
           
 String JmlMethodName.toString()
           
 String JmlMethodName.getPrefixName()
          Returns a String representation of the prefix to the method, i.e., the receiver expression, used for creating error messages.
 String JmlSignalsClause.ident()
           
 String JmlVariableDefinition.racField()
          Returns the name of RAC field generated for this variable.
 String JmlSourceMethod.getGenericSignature()
           
 String JmlTypeDeclaration.ident()
          Returns the identifier for this type declaration.
 String JmlConstraint.toString()
           
 String JmlRepresentsDecl.ident()
          Returns the identifier of the represented model field.
 String JmlBinaryMember.ident()
           
 String JmlBinaryMember.stringRepresentation()
           
 String JmlMethodDeclaration.ident()
           
 String JmlMethodDeclaration.stringRepresentation()
           
 String JmlOldExpression.label()
           
 String JmlCompilationUnit.packageNameAsString()
           
 String JmlCompilationUnit.getFilePath()
           
 String JmlCompilationUnit.fileNameIdent()
           
 String JmlBinaryMethod.stringRepresentation()
           
 String JmlVersionOptions.getShortOptions()
           
 String JmlVersionOptions.version()
           
 String JmlCommonOptions.filter()
           
 String JmlCommonOptions.set_filter(String filter)
           
 String JmlCommonOptions.experiment()
           
 String JmlCommonOptions.set_experiment(String experiment)
           
 String JmlCommonOptions.universesx()
           
 String JmlCommonOptions.set_universesx(String universesx)
           
 String JmlCommonOptions.excludefiles()
           
 String JmlCommonOptions.set_excludefiles(String excludefiles)
           
 String JmlCommonOptions.admissibility()
           
 String JmlCommonOptions.set_admissibility(String admissibility)
           
 String JmlCommonOptions.getShortOptions()
           
protected  String JmlTypeLoader.getFileIdent(File f)
          Returns the Java identifier associated with the name of the file contained in this file.
 String JmlClassDeclaration.superName()
           
 String JmlOptions.getShortOptions()
           
 String JmlAssignableFieldSet.toString()
           
 String JmlClassOrGFImport.getName()
           
 String JmlClassOrGFImport.ident()
           
 String JmlConstructorName.toString()
           
 String JmlInformalExpression.text()
          Returns the text of this informal description.
 String JmlLabelExpression.ident()
           
 String JmlLoopStatement.label()
          Returns the label if this statement is a labeled loop statement; otherwise, returns null.
 String JmlMonitorsForVarAssertion.fieldIdent()
           
 String JmlPackageImport.getName()
          Returns the package name defined by this declaration.
 String JmlReadableIfVarAssertion.fieldIdent()
           
 String JmlWritableIfVarAssertion.fieldIdent()
           
 String JmlRelationalExpression.opString()
           
 String JmlRelationalExpression.toString()
           
 String JmlSetComprehension.ident()
           
private  String JmlRefineModelProgramVisitor.decodeMods(long mods)
          Reduces modifier checking to a string comparison.
 String JmlNumericType.toString()
          Transforms this type to a string
 String JmlNumericType.getSignature()
          Transforms this type to a string
 String CTypeType.toString()
          Transforms this type to a string
 String CTypeType.toVerboseString()
           
 String JmlCastExpression.toString()
           
private static String JmlAdmissibilityVisitor.getAdmissibility()
          This method takes the command line admissibility string and returns the appropriate canonical admissibility option string.
protected  String JmlGUI.getClasspath(Options opt)
           
protected  String JmlGUI.getSourcepath(Options opt)
           
protected  String JmlGUI.getWebpageName()
           
protected  String JmlGUI.getWebpageLocation()
           
 String JmlGUI.AllFilesGUIFileFilter.getDescription()
           
 String JmlGUI.JmlGUIFileFilter.getDescription()
           
 String JavadocJmlParser.description()
           
 

Methods in org.jmlspecs.checker with parameters of type String
static void Main.main(String[] args)
          The entry point when starting this program from the command line.
static boolean Main.compile(String[] args)
          Second entry point.
static boolean Main.compile(String[] args, JmlOptions opt, OutputStream os)
          Entry point for the GUI
 boolean Main.parseArguments(String[] args, ArrayList infiles)
          Parses the argument list.
static String Main.makeRelative(String path, String referenceDir, String separator)
          This function should return a path for the first argument that is relative to the second argument (which may be a directory or a file); if the paths are the same, an empty string is returned.
protected  CField JmlSourceClass.lookupFieldHelper(String name, CExpressionContextType context)
          Searches a field in current class and parent hierarchy as needed
protected  CField JmlSourceClass.getDeclaredField(String ident)
          Returns the signature of the field with the given name declared in this class, or null if this class does not declare a field with the given name.
protected  boolean JmlSourceClass.isFieldRedefined(String ident, CExpressionContextType dummyContext)
          Returns true iff a field with same name is already defined in a superclass or an implemented interface.
protected  void JmlSourceClass.accumMostSpecificMethods(String name, CClass.NoDupStrategy actor, CMethodSet accum, CClassType[] args, CContextType context)
          Accumulates the set of methods with identifier name declared in the type represented by this, or added to the type by external methods, using the strategy actor.
static int JmlSourceClass.computeSuffixNumber(String fileName)
          Computes the number associated with the suffix of the given file name.
protected  void JmlSourceClass.accumLocalInternalMethods(String name, CClass.NoDupStrategy actor, CMethodSet accum, CClassType[] args)
          Accumulates the set of methods with identifier name declared in the type represented by this, using the strategy actor.
 CMethodSet JmlSourceClass.lookupJMLMethodName(String name, CContextType context)
          For looking up methods that are not overloaded and appear in JML clauses that list method calls.
protected  CClass JmlSourceClass.getDeclaredInnerType(String name)
          Searches for the inner type with the given name.
private  void JmlSourceClass.accumMethodsJMLOnly(CClass.NoDupStrategy actor, String name, CMethodSet accum)
          Accumulates the set of methods with identifier name declared in the type represented by this, ignoring external methods, using the strategy actor.
protected  ClassInfo JmlSourceClass.createClassInfo(long modifiers, String superClass, File sourceFile)
          Creates an instance of ClassInfo.
protected  void JmlAbstractVisitor.visitBinaryExpression(JBinaryExpression self, String oper)
          Visits the given binary expression with the given operator.
 JmlSourceField JmlDataGroupClause.checkDataGroup(CFlowControlContextType context, JExpression groupNameExpr, String ident, long privacy)
           
 JmlMapsIntoClause[] JmlDataGroupAccumulator.getMapsIntoClausesFor(String fieldId)
           
protected  FieldInfo JmlSourceField.createFieldInfo(int modifiers, String name, String type, Object value, boolean deprecated, boolean synthetic)
          Creates a new field info object.
 ClassPath.ClassDescription JmlFileFinder.find(String name)
          This method finds a file for the given class name; it first looks for a source file anywhere in the source path; if there is none, then a class file is sought on the class path.
 ClassPath.ClassDescription JmlFileFinder.findSourceFile(String name)
          Finds a source file per the implemented search order, which is to search for all the suffixes in each directory on the source path in turn.
private  ClassPath.ClassDescription JmlFileFinder.findSymbolFile(String name)
          Returns the symbol file for the given class name.
 void JmlRefinePrefix.setPackageName(String packageName)
           
static JmlBinaryType JmlRefinePrefix.buildBinaryType(TokenReference where, String prefix)
           
 void JmlVariableDefinition.setRacField(String name)
          Set the name of RAC field of this variable to the given one.
 CClass JmlContext.lookupClass(String name)
          Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
 CTypeVariable JmlContext.lookupTypeVariable(String ident)
           
 CMethod JmlContext.lookupMethod(String name, CType[] params)
          Searches for the most specific method in the current context that is applicable to the given identifier and argument type tuple.
 CMethod JmlContext.lookupMethod(String name, CType[] params, CClassContextType context)
          Searches for the most specific method in the current context that is applicable to the given identifier and argument type tuple.
 CMethodSet JmlContext.lookupMethodOrSet(String name, CType[] params)
          Searches for the most specific method(s) in the current context that is applicable to the given identifier and argument type tuple.
 CMethodSet JmlContext.lookupMethodOrSet(String name, CType[] params, CClassContextType context)
          Searches for the most specific method(s) in the current context that is applicable to the given identifier and argument type tuple.
 CFieldAccessor JmlContext.lookupField(String ident)
          searches for a field with the given identifier
 CFieldAccessor JmlContext.lookupField(String ident, CExpressionContextType context)
          searches for a field with the given identifier
 JLocalVariable JmlContext.lookupLocalVariable(String ident)
          searches for a local variable with the given identifier
 JExpression JmlContext.lookupOuterLocalVariable(TokenReference ref, String ident)
          Finds a local variable with the given name that appears outside the current lexical contour.
 CFieldAccessor JmlContext.lookupOuterField(String ident)
          Searches for a field of the given name in the context surrounding the current lexical contour.
 CFieldAccessor JmlContext.lookupOuterField(String ident, CExpressionContextType context)
          Searches for a field of the given name in the context surrounding the current lexical contour.
 void JmlContext.dumpNonNulls(String msg)
           
 void JmlContext.resolveMaybeExtMethodRef(String ident)
          Searches for any imported external generic functions.
 void JmlContext.registerGFDecl(String methodIdent, CGenericFunctionCollection coll)
          Registers the declaration of an external generic function in this context.
 CClass JmlCompilationUnitContext.lookupClass(String name)
          Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
 CMethod JmlCompilationUnitContext.lookupMethod(String name, CType[] params, CClassContextType context)
          Searches for the most specific method applicable to the given identifier and argument type tuple, in the current context.
 CMethodSet JmlCompilationUnitContext.lookupMethodOrSet(String name, CType[] params, CClassContextType context)
          Searches for the most specific method(s) applicable to the given identifier and argument type tuple, in the current context.
 CFieldAccessor JmlCompilationUnitContext.lookupField(String ident, CExpressionContextType context)
          searches for a field with the given identifier
 JLocalVariable JmlCompilationUnitContext.lookupLocalVariable(String ident)
          Finds the variable with the given identifier in this context.
 JExpression JmlCompilationUnitContext.lookupOuterLocalVariable(TokenReference ref, String ident)
          Finds a local variable with the given name that appears outside the current lexical contour.
 CFieldAccessor JmlCompilationUnitContext.lookupOuterField(String ident, CExpressionContextType context)
          Searches for a field of the given name in the context surrounding the current lexical contour.
 void JmlCompilationUnitContext.resolveMaybeExtMethodRef(String ident)
          Searches for any imported external generic functions.
static Main.PTMode Main.PTMode.mode(String s)
           
 CFieldAccessor JmlExpressionContext.lookupField(String ident)
          searches for a field with the given identifier
 CFieldAccessor JmlExpressionContext.lookupOuterField(String ident)
          Searches for a field of the given name in the context surrounding the current lexical contour.
protected  CClassType[] JmlBinarySourceClass.loadInterfaces(String[] interfaces)
          Loads the interfaces specified by the Strings in the argument array (whether from other declarations in this compilation pass or from *.class files.)
private static CClass JmlBinarySourceClass.getOuterClassFrom(String clazz)
          Returns the surrounding class for the inner class named by the argument.
private static CMemberHost JmlBinarySourceClass.getHostFrom(String clazz)
          Returns the host for the class named by the argument.
 boolean JmlSourceMethod.isApplicable(String ident, CType recvType, CType[] actuals, CClassType[] args)
          Returns true if this method is applicable to a method call with the given identifier and actual (static) argument types.
protected  MethodInfo JmlSourceMethod.createCMethodInfo(int modifiers, String name, String type, String[] exceptions, CSourceMethod method, boolean deprecated, boolean synthetic)
          Creates a method info object.
protected  MethodInfo JmlSourceMethod.createMethodInfo(int modifiers, String name, String type, String[] exceptions, CodeInfo code, boolean deprecated, boolean synthetic)
          Creates a method info object.
 void JmlTypeDeclaration.generateInterface(Main compiler, CClass owner, CMemberHost host, String prefix, boolean isAnon, boolean isMember)
          Generates a CSourceClass class signature singleton for this declaration.
 void JmlTypeDeclaration.setIdent(String ident)
           
private  JmlTypeDeclaration JmlTypeDeclaration.checkRedundantRepresents(JmlRepresentsDecl redundantRep, String ident)
           
private  void JmlTypeDeclaration.checkFieldsInterface(String javaFileName)
           
private  void JmlTypeDeclaration.checkMethodsInterface(String javaFileName)
           
static JmlMethodDeclaration JmlMethodDeclaration.makeInstance(TokenReference where, long modifiers, CTypeVariable[] typevariables, CType returnType, String ident, JFormalParameter[] parameters, CClassType[] exceptions, JBlock body, JavadocComment javadoc, JavaStyleComment[] comments, JmlMethodSpecification methodSpecification)
           
 void JmlMethodDeclaration.setIdent(String name)
          Set the name of this method; used by RAC.
 CSourceMethod JmlMethodDeclaration.checkInterfaceType(CContextType context, MemberAccess access, String ident)
          Performs the interface checks that are common to all sorts of methods.
 boolean AndNotPatternFilenameFilter.accept(File dir, String name)
          Return true just when we want to process this file name.
private  JmlMethodSpecification TestJmlParser.methodSpecificationFrom(String mspec)
           
private  JmlModelProgStatement TestJmlParser.getModelProgStatement(String sourceCode)
           
private  JmlGuardedStatement TestJmlParser.getGuardedStatementFrom(String sourceCode)
           
private  JmlGeneralSpecCase TestJmlParser.getSpecCase(String sourceCode)
           
protected  void TestJmlParser.Helper.establishTest(String sourceCode, boolean parseJavadocs)
          Establish lexers and parsers for the given source code, parsing javadoc comments according to the given boolean.
protected  JmlCompilationUnit TestJmlParser.Helper.getJmlAST(String sourceCode)
           
protected  JmlMethodSpecification TestJmlParser.Helper.getMethodSpecification(String sourceCode)
           
protected  JmlGenericSpecCase TestJmlParser.Helper.getGenericSpecCase(String sourceCode)
           
protected  JmlGenericSpecCase TestJmlParser.Helper.getGenericSpecStatementCase(String sourceCode)
           
protected  JmlAbruptSpecCase TestJmlParser.Helper.getAbruptSpecCase(String sourceCode)
           
protected  JmlSpecBodyClause[] TestJmlParser.Helper.getSpecBody(String sourceCode)
           
protected  JmlRequiresClause TestJmlParser.Helper.getRequiresClause(String sourceCode)
           
protected  JmlSpecBodyClause TestJmlParser.Helper.getSpecBodyClause(String sourceCode)
           
protected  JmlModelProgram TestJmlParser.Helper.getModelProgram(long modifiers, String sourceCode)
           
protected  JmlSpecVarDecl[] TestJmlParser.Helper.getSpecVarDecls(String sourceCode)
           
protected  JStatement TestJmlParser.Helper.getStatement(String sourceCode)
           
 boolean JmlCompilationUnit.declaresType(String qualifiedName)
          Returns true iff this compilation unit contains a declaration for a top-level type with the given fully qualified name.
 boolean JmlCompilationUnit.declaresGF(String qualifiedName)
          Returns true iff this compilation unit contains a declaration for a generic function with the given fully qualified name.
protected  CSourceClass JInterfaceDeclarationWrapper.makeSignature(Main compiler, CClass owner, CMemberHost host, String prefix, boolean isAnon, boolean isMember)
          Generates the signature object for this.
 CClass JmlClassContext.lookupClass(String name)
          Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
 CTypeVariable JmlClassContext.lookupTypeVariable(String ident)
           
 CMethod JmlClassContext.lookupMethod(String ident, CType[] params, CClassContextType context)
          Searches for the most specific method when no receiver is explicit at the call site.
 CMethodSet JmlClassContext.lookupMethodOrSet(String ident, CType[] params, CClassContextType context)
          Searches for the most specific method(s) when no receiver is explicit at the call site.
 CFieldAccessor JmlClassContext.lookupOuterField(String ident, CExpressionContextType context)
          Searches for a field of the given name in the context surrounding the current lexical contour.
 CFieldAccessor JmlClassContext.lookupField(String ident, CExpressionContextType context)
          lookupField
 JExpression JmlClassContext.lookupOuterLocalVariable(TokenReference ref, String ident)
          Finds a local variable with the given name that appears outside the current lexical contour.
 JLocalVariable JmlClassContext.lookupLocalVariable(String ident)
          lookupLocalVariable
 void JmlClassContext.resolveMaybeExtMethodRef(String ident)
          Searches for any imported or private external generic functions.
 boolean JmlVersionOptions.setOption(String name, Object newValue)
           
 String JmlCommonOptions.set_filter(String filter)
           
 String JmlCommonOptions.set_experiment(String experiment)
           
 String JmlCommonOptions.set_universesx(String universesx)
           
 String JmlCommonOptions.set_excludefiles(String excludefiles)
           
 String JmlCommonOptions.set_admissibility(String admissibility)
           
 boolean JmlCommonOptions.setOption(String name, Object newValue)
           
 JmlCompilationUnit JmlTypeLoader.getSuspendedCUnit(String qName)
          Look for partially processed compilation unit (if suspended) for the qualified type name qName.
 void JmlTypeLoader.activateSymbolTableBuild(String qName)
          Reactivate the task for the qualified type name qName.
 void JmlTypeLoader.activateTypeCheck(String qName)
          Reactivate the task for the qualified type name qName.
protected  boolean JmlTypeLoader.isTrusted(String qName)
          Returns true if the information for the type or package of the given qualified name should be retained for subsequent compilation sessions.
protected  ClassInfo JmlTypeLoader.createClassInfo(String qName)
          Creates and returns a class info object by reading the symbol file for the class with the given fully qualified name qName.
static JmlClassDeclaration JmlClassDeclaration.makeInstance(TokenReference where, long modifiers, String ident, CTypeVariable[] typevariables, CClassType superType, boolean isWeakSubtype, CClassType[] interfaces, boolean[] interfaceWeaklyFlags, ArrayList methods, ArrayList inners, JPhylum[] fieldsAndInits, JmlInvariant[] invariants, JmlConstraint[] constraints, JmlRepresentsDecl[] representsDecls, JmlAxiom[] axioms, JmlVarAssertion[] varAssertions, JavadocComment javadoc, JavaStyleComment[] comment, boolean isRefinedType)
          Constructs a class declaration in the parsing tree.
static JmlInterfaceDeclaration JmlInterfaceDeclaration.makeInstance(TokenReference where, long modifiers, String ident, CTypeVariable[] typevariables, CClassType[] interfaces, boolean[] interfaceWeaklyFlags, ArrayList methods, ArrayList inners, JPhylum[] fieldsAndInits, JmlInvariant[] invariants, JmlConstraint[] constraints, JmlRepresentsDecl[] representsDecls, JmlAxiom[] axioms, JmlVarAssertion[] varAssertions, JavadocComment javadoc, JavaStyleComment[] comment, boolean isRefinedType)
          Constructs an interface declaration in the parsing tree.
 boolean JmlOptions.setOption(String name, Object newValue)
           
 boolean Main.Filter.accept(File dir, String name)
           
 CTypeVariable JmlMethodContext.lookupTypeVariable(String ident)
           
 boolean JmlSigBinaryMethod.isApplicable(String ident, CType recvType, CType[] actuals)
          Returns true if this method is applicable to a method call with the given identifier and actual (static) argument types.
static JmlConstructorDeclaration JmlConstructorDeclaration.makeInstance(TokenReference where, long modifiers, String ident, JFormalParameter[] params, CClassType[] exceptions, JConstructorBlock body, JavadocComment javadoc, JavaStyleComment[] comments, JmlMethodSpecification methodSpecification)
           
static JmlInformalExpression JmlInformalExpression.ofBoolean(TokenReference where, String text)
          Returns a new informal description of type boolean.
static JmlInformalExpression JmlInformalExpression.ofInteger(TokenReference where, String text)
          Returns a new informal description of type int.
 void JmlPackageImport.setClassUsed(String clazz)
          States that specified class in imported package is used.
protected  void JmlVisitorNI.imp(String method, Object self)
           
protected  CSourceMethod JMethodDeclarationWrapper.makeMethodSignature(CContextType context, MemberAccess access, String ident, CSpecializedType[] parameterTypes)
          Generates the signature object for this method declaration.
static void NonNullStatistics.checkExpression(JExpression j, JmlContext context, String fn, int clause, boolean ifNot, boolean ifInvStatic)
           
static void NonNullStatistics.checkSpecification(JmlMethodDeclaration jmd, Object[] jscArr, JmlContext context, String fn)
           
static void NonNullStatistics.checkSpecCase(JmlSpecCase jsc, JmlContext context, String fn, boolean fromHeavy)
           
static void NonNullStatistics.checkSpecBody(JmlSpecBody jsb, JmlContext context, String fn)
           
static void NonNullStatistics.checkSpecBodyClause(JmlSpecBodyClause jsbc, JmlContext context, String fn)
           
private static void NonNullStatistics.handleNNElementExpr(JmlNonNullElementsExpression j, JmlContext context, String fn, int clause, boolean ifInvStatic)
           
private static void NonNullStatistics.handleInstanceofExpression(JInstanceofExpression j, JmlContext context, String fn, int clause, boolean ifInvStatic)
           
private static void NonNullStatistics.handleEqualityExpression(JmlEqualityExpression je, JmlContext context, String fn, int clause, boolean ifNot, boolean ifInvStatic)
           
private static void NonNullStatistics.handleFreshExpression(JmlFreshExpression jf, JmlContext context, int clause, String fn)
           
static void NonNullStatistics.handleMethodDeclaration(JmlMethodDeclaration jmd, JMethodDeclaration delegee, String fileName, JmlContext context)
           
static void NonNullStatistics.setCurrMethod(String methodIdent)
           
static void NonNullStatistics.setCurrClass(String classIdent)
           
static Vector NonNullStatistics.getSuperSpec(JmlMethodDeclaration jmd, String key)
           
private static void NonNullStatistics.putHmSpecCase(String key)
           
private static void NonNullStatistics.abortCurrentSpecCase(String fn)
           
static void NonNullStatistics.hmNonnullPut(String key, String value)
           
 JLabeledStatement JmlFlowControlContext.getLabeledStatement(String label)
          Returns the statement with the specified label.
 void JmlFlowControlContext.dumpNonNulls(String msg)
           
 CClass JmlFlowControlContext.lookupClass(String name)
          Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
 JLocalVariable JmlFlowControlContext.lookupLocalVariable(String ident)
          Returns the variable referred to by the given name in this context, recursing to surrounding contexts as appropriate.
static void JmlGUI.main(String[] args)
           
static JmlGUI JmlGUI.init(String[] args, boolean standAlone)
           
protected  boolean JmlGUI.dirInClassPath(Options opt, String dir)
           
protected  org.multijava.util.gui.GUI.Compilation JmlGUI.createCompilationInstance(String[] files, Options opt, OutputStream os)
           
 boolean JmlGUI.AllFilesGUIFileFilter.hasActiveSuffix(String name)
           
 boolean JmlGUI.JmlGUIFileFilter.hasActiveSuffix(String name)
           
protected  CSourceClass JClassDeclarationWrapper.makeSignature(Main compiler, CClass owner, CMemberHost host, String prefix, boolean isAnon, boolean isMember)
          Generates the signature object for this class declaration.
protected  CSourceMethod JConstructorDeclarationWrapper.makeMethodSignature(CContextType context, MemberAccess access, String ident, CSpecializedType[] parameterTypes)
          Generates the signature object for this method declaration.
protected  void JmlAccumSubclassingInfo.visitBinaryExpression(JBinaryExpression self, String oper)
           
 

Constructors in org.jmlspecs.checker with parameters of type String
JmlSourceClass(Main compiler, CClass owner, CMemberHost host, TokenReference where, long modifiers, String ident, String qualifiedName, CTypeVariable[] typevariables, boolean isAnonymous, boolean isMember, boolean deprecated)
          Constructs a class export from source
JmlFormalParameter(TokenReference where, long modifiers, int desc, CSpecializedType type, String ident)
          Constructs a formal parameter node in the parsing tree.
JmlMapsIntoClause(TokenReference where, boolean redundantly, String fieldId, JmlStoreRefExpression memberRef, JmlStoreRefExpression[] groupList)
           
JmlSourceField(JmlMemberAccess access, String ident, CType type, boolean deprecated)
          Constructs a field export
JmlInformalStoreRef(TokenReference where, String text)
           
JmlLabeled(TokenReference where, boolean isRedundantly, String label, JmlPredicate predOrNot, boolean isNotSpecified)
           
JmlBreaksClause(TokenReference where, boolean isRedundantly, String label, JmlPredicate predOrNot, boolean isNotSpecified)
           
JmlRefinePrefix(TokenReference where, String fileName)
           
JmlName(TokenReference where, String ident)
          Construct an ident sort of name or name-suffix.
JmlSignalsClause(TokenReference where, boolean isRedundantly, CType type, String ident, JmlPredicate pred, boolean notSpecified)
           
JmlContinuesClause(TokenReference where, boolean isRedundantly, String label, JmlPredicate predOrNot, boolean isNotSpecified)
           
JmlVariableDefinition(TokenReference where, long modifiers, CType type, String ident, JExpression initializer)
          Construct a node in the parsing tree.
JmlSourceMethod(MemberAccess access, String ident, CType returnType, CSpecializedType[] paramTypes, CClassType[] exceptions, CTypeVariable[] typevariables, boolean deprecated, JBlock body, CContextType declarationContext, JMethodDeclaration declarationASTNode)
           
JmlBinaryType(TokenReference where, JmlBinarySourceClass member, String prefix)
          Constructs a class export from file.
JmlOldExpression(TokenReference where, JmlSpecExpression specExpression, String label)
           
AndNotPatternFilenameFilter(FilenameFilter f, String p)
          Initialize this filter.
TestJmlParser(String name)
          The constructor called by the JUnit framework.
TestJmlParser.Helper(String name)
           
JInterfaceDeclarationWrapper(TokenReference where, long modifiers, String ident, CTypeVariable[] typevariables, CClassType[] interfaces, ArrayList methods, ArrayList inners, JPhylum[] fieldsAndInits, JavadocComment javadoc, JavaStyleComment[] comments, boolean isRefinedType)
          Constructs an interface declaration in the parsing tree.
JmlVersionOptions(String name)
           
JmlCommonOptions(String name)
           
JmlOptions(String name)
           
JmlClassOrGFImport(TokenReference where, String name, JavaStyleComment[] comments, boolean isModel)
          Constructs an AST node for a class or external member import statement.
JmlInformalExpression(TokenReference where, String text)
          Constructs an instance.
JmlInformalExpression(TokenReference where, String text, boolean isBoolean)
          Constructs an instance.
JmlLabelExpression(TokenReference where, boolean isPosLabel, String ident, JmlSpecExpression specExpression)
           
JmlPackageImport(TokenReference where, String name, JavaStyleComment[] comments, boolean isModel)
           
JmlSetComprehension(TokenReference where, long modifiers, CType type, CType memberType, String ident, JExpression supersetPred, JmlPredicate predicate)
           
JmlOrdinalLiteral(TokenReference where, String image)
          Construct a node in the parsing tree
JMethodDeclarationWrapper(TokenReference where, long modifiers, CTypeVariable[] typevariables, CType returnType, String ident, JFormalParameter[] parameters, CClassType[] exceptions, JBlock body, JavadocComment javadoc, JavaStyleComment[] comments)
          Construct a node in the parsing tree This method is directly called by the parser
JmlGUI.JmlGUIFileFilter(String suffix)
           
JmlGUI.JmlCompilation(String[] files, JmlOptions options, OutputStream os)
           
JClassDeclarationWrapper(TokenReference where, long modifiers, String ident, CClassType superType, CClassType[] interfaces, ArrayList methods, ArrayList inners, JPhylum[] fieldsAndInits, JavadocComment javadoc, JavaStyleComment[] comments)
          Constructs a class declaration in the parsing tree.
JClassDeclarationWrapper(TokenReference where, long modifiers, String ident, CTypeVariable[] typevariables, CClassType superType, CClassType[] interfaces, ArrayList methods, ArrayList inners, JPhylum[] fieldsAndInits, JavadocComment javadoc, JavaStyleComment[] comments, boolean isRefinedType)
          Constructs a class declaration in the parsing tree.
JConstructorDeclarationWrapper(TokenReference where, long modifiers, String ident, JFormalParameter[] parameters, CClassType[] exceptions, JConstructorBlock body, JavadocComment javadoc, JavaStyleComment[] comments)
          Construct a node in the parsing tree This method is directly called by the parser
 

Uses of String in org.jmlspecs.jmldoc
 

Fields in org.jmlspecs.jmldoc declared as String
private  String JavadocOptions.bootclasspath
           
private  String JavadocOptions.bottom
           
private  String JavadocOptions.charset
           
private  String JavadocOptions.docencoding
           
private  String JavadocOptions.doclet
           
private  String JavadocOptions.docletpath
           
private  String JavadocOptions.doctitle
           
private  String JavadocOptions.encoding
           
private  String JavadocOptions.exclude
           
private  String JavadocOptions.excludedocfilessubdir
           
private  String JavadocOptions.extdirs
           
private  String JavadocOptions.footer
           
private  String[][] JavadocOptions.group
           
private  String JavadocOptions.header
           
private  String JavadocOptions.helpfile
           
private  String JavadocOptions.J
           
private  String[][] JavadocOptions.link
           
private  String[][] JavadocOptions.linkoffline
           
private  String JavadocOptions.locale
           
private  String JavadocOptions.noqualifier
           
private  String JavadocOptions.overview
           
private  String JavadocOptions.stylesheetfile
           
private  String JavadocOptions.subpackages
           
private  String[][] JavadocOptions.tag
           
private  String JavadocOptions.taglet
           
private  String JavadocOptions.tagletpath
           
private  String JavadocOptions.windowtitle
           
private  String JmldocOptions.docpath
           
private  String JmldocOptions.fcns
           
 

Methods in org.jmlspecs.jmldoc that return String
 String JavadocOptions.bootclasspath()
           
 String JavadocOptions.set_bootclasspath(String bootclasspath)
           
 String JavadocOptions.bottom()
           
 String JavadocOptions.set_bottom(String bottom)
           
 String JavadocOptions.charset()
           
 String JavadocOptions.set_charset(String charset)
           
 String JavadocOptions.docencoding()
           
 String JavadocOptions.set_docencoding(String docencoding)
           
 String JavadocOptions.doclet()
           
 String JavadocOptions.set_doclet(String doclet)
           
 String JavadocOptions.docletpath()
           
 String JavadocOptions.set_docletpath(String docletpath)
           
 String JavadocOptions.doctitle()
           
 String JavadocOptions.set_doctitle(String doctitle)
           
 String JavadocOptions.encoding()
           
 String JavadocOptions.set_encoding(String encoding)
           
 String JavadocOptions.exclude()
           
 String JavadocOptions.set_exclude(String exclude)
           
 String JavadocOptions.excludedocfilessubdir()
           
 String JavadocOptions.set_excludedocfilessubdir(String excludedocfilessubdir)
           
 String JavadocOptions.extdirs()
           
 String JavadocOptions.set_extdirs(String extdirs)
           
 String JavadocOptions.footer()
           
 String JavadocOptions.set_footer(String footer)
           
 String[][] JavadocOptions.group()
           
 String[][] JavadocOptions.set_group(String[][] group)
           
 String JavadocOptions.header()
           
 String JavadocOptions.set_header(String header)
           
 String JavadocOptions.helpfile()
           
 String JavadocOptions.set_helpfile(String helpfile)
           
 String JavadocOptions.J()
           
 String JavadocOptions.set_J(String J)
           
 String[][] JavadocOptions.link()
           
 String[][] JavadocOptions.set_link(String[][] link)
           
 String[][] JavadocOptions.linkoffline()
           
 String[][] JavadocOptions.set_linkoffline(String[][] linkoffline)
           
 String JavadocOptions.locale()
           
 String JavadocOptions.set_locale(String locale)
           
 String JavadocOptions.noqualifier()
           
 String JavadocOptions.set_noqualifier(String noqualifier)
           
 String JavadocOptions.overview()
           
 String JavadocOptions.set_overview(String overview)
           
 String JavadocOptions.stylesheetfile()
           
 String JavadocOptions.set_stylesheetfile(String stylesheetfile)
           
 String JavadocOptions.subpackages()
           
 String JavadocOptions.set_subpackages(String subpackages)
           
 String[][] JavadocOptions.tag()
           
 String[][] JavadocOptions.set_tag(String[][] tag)
           
 String JavadocOptions.taglet()
           
 String JavadocOptions.set_taglet(String taglet)
           
 String JavadocOptions.tagletpath()
           
 String JavadocOptions.set_tagletpath(String tagletpath)
           
 String JavadocOptions.windowtitle()
           
 String JavadocOptions.set_windowtitle(String windowtitle)
           
 String JavadocOptions.getShortOptions()
           
 String JmldocOptions.docpath()
           
 String JmldocOptions.set_docpath(String docpath)
           
 String JmldocOptions.fcns()
           
 String JmldocOptions.set_fcns(String fcns)
           
 String JmldocOptions.getShortOptions()
           
static String Utils.modifierString(com.sun.tools.doclets.standard.AbstractSubWriter w, long m)
           
 

Methods in org.jmlspecs.jmldoc with parameters of type String
static void Main.main(String[] args)
           
static boolean Main.compile(String[] args)
           
 String JavadocOptions.set_bootclasspath(String bootclasspath)
           
 String JavadocOptions.set_bottom(String bottom)
           
 String JavadocOptions.set_charset(String charset)
           
 String JavadocOptions.set_docencoding(String docencoding)
           
 String JavadocOptions.set_doclet(String doclet)
           
 String JavadocOptions.set_docletpath(String docletpath)
           
 String JavadocOptions.set_doctitle(String doctitle)
           
 String JavadocOptions.set_encoding(String encoding)
           
 String JavadocOptions.set_exclude(String exclude)
           
 String JavadocOptions.set_excludedocfilessubdir(String excludedocfilessubdir)
           
 String JavadocOptions.set_extdirs(String extdirs)
           
 String JavadocOptions.set_footer(String footer)
           
 String[][] JavadocOptions.set_group(String[][] group)
           
 String JavadocOptions.set_header(String header)
           
 String JavadocOptions.set_helpfile(String helpfile)
           
 String JavadocOptions.set_J(String J)
           
 String[][] JavadocOptions.set_link(String[][] link)
           
 String[][] JavadocOptions.set_linkoffline(String[][] linkoffline)
           
 String JavadocOptions.set_locale(String locale)
           
 String JavadocOptions.set_noqualifier(String noqualifier)
           
 String JavadocOptions.set_overview(String overview)
           
 String JavadocOptions.set_stylesheetfile(String stylesheetfile)
           
 String JavadocOptions.set_subpackages(String subpackages)
           
 String[][] JavadocOptions.set_tag(String[][] tag)
           
 String JavadocOptions.set_taglet(String taglet)
           
 String JavadocOptions.set_tagletpath(String tagletpath)
           
 String JavadocOptions.set_windowtitle(String windowtitle)
           
 boolean JavadocOptions.setOption(String name, Object newValue)
           
 String JmldocOptions.set_docpath(String docpath)
           
 String JmldocOptions.set_fcns(String fcns)
           
 boolean JmldocOptions.setOption(String name, Object newValue)
           
static void JmldocGUI.main(String[] args)
           
static void JmldocGUI.init(String[] args, boolean standAlone)
           
 

Constructors in org.jmlspecs.jmldoc with parameters of type String
JavadocOptions(String name)
           
JmldocOptions(String name)
           
 

Uses of String in org.jmlspecs.jmldoc.jmldoc_142
 

Fields in org.jmlspecs.jmldoc.jmldoc_142 declared as String
private static String JmlHTML.eol
          The string that terminates lines on this platform.
private static String JmlHTML.jmlbegin
          Used to begin any section of material added to an HTML file.
private static String JmlHTML.jmlend
          Used to end any section of material added to an HTML file.
private static String JmlHTML.jmlcomment1
           
private static String JmlHTML.jmlcomment2
           
private static String JmlHTML.oldsuffix
          This string is used as a suffix for the backup files - the original html files before begin altered by adding jml annotations.
private static String JmlHTML.newsuffix
          This string is used as a suffix for the new html file, temporarily; Once the file is complete it is moved on top of the old one.
private static String JmlHTML.adjustedDestination
          This gives the absolute path of the destination for generated html files.
private static String JmlHTML.suffix
          The value of the suffix that javadoc uses on this platform for html files, with the leading period.
private static String JmlHTML.alternateSuffix
          A second suffix for html files that should be tried.
protected  String JmlHTML.currentFilePath
           
private  String JmlHTML.classSpecsTitle
           
private static String SpecWriter.eol
          The string that terminates lines on this platform.
static String SpecWriter.BREOL
           
 String JmlHTML.IntString.text
           
(package private)  String JmldocGUI.JmldocGUIFileFilter.suffix
           
private  String[] JmldocGUI.JmldocCompilation.files
           
 

Methods in org.jmlspecs.jmldoc.jmldoc_142 that return String
protected  String JmlHTML.generateClassSpecification(JmlTypeDeclaration jmltype, com.sun.tools.doclets.standard.HtmlStandardWriter writer)
          This generates the full html insert for the class level specifications, including those for any super classes and including the leading jmlbegin and jmlend strings.
(package private) static String JmlHTML.makeSig(JmlMethodDeclaration m, JmlTypeDeclaration jmltype)
          This function returns a String giving the signature of a method - the method name and fully qualified argument types, but not formal parameter names.
 String JmlHTML.generateFieldSpecification(JFieldDeclarationType jm, JmldocFieldSubWriter fsw)
           
 String JmlHTML.generateMethodSpecification(JmlMethodDeclaration jm, CClass cclass, String sig, com.sun.tools.doclets.standard.HtmlStandardWriter writer)
           
 String JmlHTML.linkString(CClass cclass, boolean fullname, com.sun.tools.doclets.standard.HtmlStandardWriter writer)
          This function generates a String giving the name of the class corresponding to 'cclass'; if an html file can be located for this class, then the string consists of an HTML link reference to that class.
 String JmldocFieldSubWriter.getLink(CClass container, CField fd, String label)
           
 String SpecWriter.toString()
          Returns the accumulated text.
 String SpecWriter.htmlop(int op, JRelationalExpression s)
           
static String SpecWriter.jmlModifiers(long mods)
           
 String SpecWriter.convertToHtml(String s)
          Copies the input string to the output, replacing instances of special html characters by html representations (less than symbols, greater than symbols, ampersands).
private  String SpecWriter.replace(String s, char c, String rep)
           
 String JmldocStandard.name()
           
protected  String JmldocGUI.getClasspath(Options opt)
           
protected  String JmldocGUI.getSourcepath(Options opt)
           
protected  String JmldocGUI.getWebpageName()
           
protected  String JmldocGUI.getWebpageLocation()
           
 String JmldocGUI.AllFilesGUIFileFilter.getDescription()
           
 String JmldocGUI.JmldocGUIFileFilter.getDescription()
           
 

Methods in org.jmlspecs.jmldoc.jmldoc_142 with parameters of type String
static void Main.main(String[] args)
          The entry point when starting this program from the command line.
static boolean Main.compile(String[] args)
          Second entry point.
 boolean Main.runParser(String[] args, MjcCommonOptions opt, ArrayList infiles)
          Runs the argument parser only so the GUI can process options from the command line
static boolean Main.compile(String[] args, JmldocOptions opt, OutputStream os)
          Entry point for the GUI
 boolean Main.parseArguments(String[] args, ArrayList infiles)
          Parses the argument list.
protected  void Main.addRecursivePackages(String packageName, File dir, ArrayList dirs)
          This adds all subdirectories (recursively) as packages to be processed.
(package private)  void JmlHTML.jmlize(JTypeDeclarationType jtype, String packageRoot)
          This method generates the html file for the class represented by 'jtype'.
protected  boolean JmlHTML.checkFile(String dp, boolean useD, String cp, String suf)
          This function checks whether a html file exists with a name constructed from the given class name (cp), and the given settings of the destination directory (dp), useDollar (useD) and suffix to use (suf).
protected  boolean JmlHTML.findFile(String cpath, String packageRoot)
          This function finds an html file for the given class name (cpath) and directory containing the package root (packageRoot).
 void JmlHTML.findSections(String fileString, String begin, String end, ArrayList extracts)
          This function finds all occurrences of text in 'fileString' bracketed by the given begin and end Strings.
 void JmlHTML.findSections(String fileString, String begin, ArrayList extracts)
          This function finds all occurrences of the string begin in 'fileString' .
protected  void JmlHTML.classSpecs(JmlTypeDeclaration jmltype, StringBuffer sb, boolean inherited, String title)
          This method generates the html describing the specifications of class/interface jmltype.
 void JmlHTML.printClassSpecsHeader(StringBuffer classspec, boolean inherited, String title)
           
 void JmlHTML.printClassSpecsHeaderInherited(StringBuffer classspec, String title)
           
protected  void JmlHTML.insertMethodSpecs(JmlTypeDeclaration jmltype, String fileString, ArrayList insertions)
          This method generates the html text for the specifications of the methods for type jmlType, with reference to the original file content in fileString.
protected  void JmlHTML.insertFieldSpecs(JmlTypeDeclaration jmltype, String fileString, ArrayList insertions)
          This method generates the html text for the specifications of the fields for type jmlType, with reference to the original file content in fileString.
protected  void JmlHTML.insertMethodSpecs(JmlMethodDeclaration jm, String fileString, ArrayList insertions, String sig, JmlTypeDeclaration jmltype)
          This method generates the specification text for the method jm with signature string sig belonging to class jmltype, and with reference to the original html file in fileString.
 String JmlHTML.generateMethodSpecification(JmlMethodDeclaration jm, CClass cclass, String sig, com.sun.tools.doclets.standard.HtmlStandardWriter writer)
           
protected  boolean JmlHTML.superSpecification(StringBuffer s, CClass sclass, JmlMethodDeclaration jm, String sig, boolean isclass, com.sun.tools.doclets.standard.HtmlStandardWriter writer)
          Generates the html for any specifications for the method 'jm' in the super class 'sclass'.
 String JmldocFieldSubWriter.getLink(CClass container, CField fd, String label)
           
 void SpecWriter.append(String s)
          Appends the given string to the SpecWriter's buffer.
 void SpecWriter.visitJmlBehaviorSpecHelper(JmlHeavyweightSpec self, String s)
           
 void SpecWriter.visitJmlExampleHelper(JmlExample self, String title)
           
 String SpecWriter.convertToHtml(String s)
          Copies the input string to the output, replacing instances of special html characters by html representations (less than symbols, greater than symbols, ampersands).
private  String SpecWriter.replace(String s, char c, String rep)
           
static void JmldocGUI.main(String[] args)
           
static JmldocGUI JmldocGUI.init(String[] args, boolean standAlone)
           
protected  boolean JmldocGUI.dirInClassPath(Options opt, String dir)
           
protected  org.multijava.util.gui.GUI.Compilation JmldocGUI.createCompilationInstance(String[] files, Options opt, OutputStream os)
           
 boolean JmldocGUI.AllFilesGUIFileFilter.hasActiveSuffix(String name)
           
 boolean JmldocGUI.JmldocGUIFileFilter.hasActiveSuffix(String name)
           
 

Constructors in org.jmlspecs.jmldoc.jmldoc_142 with parameters of type String
JmlHTML.IntString(int offset, String text)
          A constructor, taking an integer position and the text to be inserted at that position.
JmldocClassWriter(com.sun.tools.doclets.standard.ConfigurationStandard configuration, String path, String filename, com.sun.javadoc.ClassDoc classdoc, com.sun.javadoc.ClassDoc prev, com.sun.javadoc.ClassDoc next, com.sun.tools.doclets.ClassTree classtree, boolean nopackage)
           
JmldocGUI.JmldocGUIFileFilter(String suffix)
           
JmldocGUI.JmldocCompilation(String[] files, JmldocOptions options, OutputStream os)
           
 

Uses of String in org.jmlspecs.jmlrac
 

Fields in org.jmlspecs.jmlrac declared as String
private static String[] TransUtils.nonReflectiveTypes
          An array of type names to which non-reflective calls would be made for specification inheritance.
private static String[] TransUtils.nonReflectiveRefinementTypes
          An array of type names to which non-reflective calls would be made for specification inheritance.
static String RacConstants.TN_SURROGATE
          The name of the surrogate class for an interface.
static String RacConstants.TN_JMLSURROGATE
          The name of the interface that all surrogate classes have to implement.
static String RacConstants.TN_JMLCHECKABLE
          The type name of a private delegee field (VN_DELEGEE) of the surrogate class (TN_SURROGATE) for an interface.
static String RacConstants.TN_JMLVALUE
          The name of a special wrapper class that can encapsulate two special values in addition to Java regular values: undefined and non-executable.
static String RacConstants.TN_JMLUNIT_TEST_POSTFIX
          The name of test class generated by jmlunit.
static String RacConstants.TN_JMLUNIT_TESTDATA_POSTFIX
          The name of test case class generated by jmlunit.
static String RacConstants.MN_CHECK_PRE
          The method name prefix for methods that check method preconditions, often called precondition check methods.
static String RacConstants.MN_CHECK_POST
          The method name prefix for methods that check normal postconditions, often called normal postcondition check methods.
static String RacConstants.MN_CHECK_XPOST
          The method name prefix for methods that check exceptional postconditions, often called exceptional postcondition check methods.
static String RacConstants.MN_EVAL_OLD
          The method name prefix for methods that evaluate, in the pre-state, old expressions appearing in history constraints, for use in the post-state by constraint check methods.
static String RacConstants.MN_CHECK_INV
          The method name prefix for methods that check invariants.
static String RacConstants.MN_CHECK_HC
          The method name prefix for methods that check history constraints.
static String RacConstants.MN_INTERNAL
          The method name prefix for renaming original methods into private internal methods.
static String RacConstants.MN_MODEL
          The method name prefix for access methods generated for model fields.
static String RacConstants.MN_SPEC
          The method name prefix for spec_public and spec_protected access methods generated for spec_public and spec_protected fields.
static String RacConstants.MN_GHOST
          The variable and method name prefix for the private field and a pair of access methods generated for a ghost variable.
static String RacConstants.MN_SPEC_PUBLIC
          The method name prefix of access methods generated for spec_public and spec_protected methods.
static String RacConstants.MN_MODEL_PUBLIC
          The method name prefix of access methods generated for model methods.
static String RacConstants.MN_SAVE_TO
          The method name prefix for the method that saves pre-state values into the private stack field (VN_STACK_VAR) for possible recursive method calls.
static String RacConstants.MN_RESTORE_FROM
          The method name prefix for the method that restores pre-state values from the private stack field (VN_STACK_VAR) for possible recursive method calls.
static String RacConstants.MN_INIT
          The name of the internal method and the assertion check methods for the constructors.
static String RacConstants.VN_ERROR_SET
          The name of a set variable that holds information about all the assertion violations detected so far by the runtime assertion checker.
static String RacConstants.VN_PRECOND
           
static String RacConstants.VN_RESULT
          The name of a varialbe that holds the return value of the method being assertion checked.
static String RacConstants.VN_XRESULT
          The name of a variable that holds the exceptional result of the method being assertion checked.
static String RacConstants.VN_FREE_VAR
          The name of local variables to be generated to evaluate varisous JML predicates and expressions.
static String RacConstants.VN_CATCH_VAR
          The name of variables to generate for use in catch clauses.
static String RacConstants.VN_OLD_VAR
          The name of a private field generated to store the pre-state value of an old expression in postcoditions and history constraints and an old variable appearing in a method specification.
static String RacConstants.VN_PRE_VAR
          The name of a private field generated to store the result of precondition evaluation, for reference by the postcondition check methods.
static String RacConstants.VN_POST_VAR
          The name of a local variable generated to store the result of evaluating a specification case of a postcondition
static String RacConstants.VN_ASSERTION
           
static String RacConstants.VN_EXCEPTION
          Name of the exception parameter.
static String RacConstants.VN_STACK_VAR
          Name of the stack variable.
static String RacConstants.VN_INIT
          Name of a non-static boolean field that indicates whether a class instance, during its construction, has finished its initialization.
static String RacConstants.VN_CLASS_INIT
          Name of a static boolean field that indicates whether the initialization of a class or an inteface has been completed.
static String RacConstants.VN_DELEGEE
          Name of a private delegee field of a surrogate class (TN_SURROGATE) for an interface.
static String RacConstants.VN_RAC_LEVEL
          Name of the static field generated by the runtime assertion checker to indicate the per-class runtime assertion check level.
static String RacConstants.VN_RAC_COMPILED
          Name of the static final field generated by the runtime assertion checker to indicate that a type is compiled with the runtime asssertion check code.
static String RacConstants.VN_CONSTRUCTED
          Name of a boolean variable that indicates whether an instance finishes its construction.
protected  String AssertionMethod.prefix
          Name prefix of the method to be inherited, e.g., MN_CHECK_PRE
protected  String AssertionMethod.methodName
          name of assertion method
protected  String AssertionMethod.exceptionToThrow
          name of exception class to be thrown if assertions are violated.
protected  String AssertionMethod.javadoc
          Javadoc comment to be added to the generated method.
protected  String AssertionMethod.methodIdentification
          name of the target method for printing assertion violation error.
protected  String WrapperMethod.typeName
          type name whose methods are to be wrapped.
protected  String WrapperMethod.ident
          
private  String RacOptions.packageName
           
private  String RacOptions.filter
           
private  String RacParser.RacMethodDeclaration.name
          Name of this statement node.
private  String RacParser.RacStatement.name
          Name of this statement node.
private  String RacParser.RacBlock.name
          Name of this block node.
private static String PreValueVars.NULL
           
private static String PreValueVars.BOOLEAN
           
private static String PreValueVars.FALSE
           
private static String PreValueVars.PREFIX
           
(package private)  String PreValueVars.Entry.type
           
(package private)  String PreValueVars.Entry.name
           
(package private)  String PreValueVars.Entry.value
           
protected  String PreOrPostconditionMethod.stackMethod
           
protected  String PreOrPostconditionMethod.name
          name of the target method
private  String TransMethod.stackVar
           
protected  String TransExpression.resultVar
          Variable to hold the reslt of the target expression.
static String JmlRacGenerator.newPackageOption
          Determines the name of the package or the generated class: if null, the package name is the same as the source file package; if empty, the package is unnamed; if ends with a '+', the string is prepended to the source file package; otherwise is the name of the package of the generated class.
static String JmlRacGenerator.newPackageName
           
private  String RacPredicate.message
          Message associated with this RAC predicate.
 String PreOrPostconditionMethod.StringPair.first
           
 String PreOrPostconditionMethod.StringPair.second
           
protected  String TransExpression2.resultVar
          Variable to hold the reslt of the target expression.
private  String TransExpression2.resultingExpression
          String containing visitor methods results.
protected  String TransExpression2.errorType
           
protected  String TransExpression2.evaluatorPUse
           
protected  String TransExpression2.evaluatorPDef
           
protected  String TransExpression2.thisIs
           
static String RacPrettyPrinter.NEW_LINE
           
(package private)  String RacGUI.RacGUIFileFilter.suffix
           
private  String[] RacGUI.RacCompilation.files
           
 String TransExpression.StringAndNodePair.str
           
 String TransExpression.DynamicCallArg.types
           
 String TransExpression.DynamicCallArg.args
           
private  String TransExpression.DiagTerm.term
           
 

Methods in org.jmlspecs.jmlrac that return String
static String TransUtils.defaultValue(CType type)
          Returns a string representation of the default value of the given type, type.
static String TransUtils.wrappedValue(CType type, String ident)
          Returns a string representation of a Java expression that denotes a wrapper object for the given variable, ident of type, type.
static String TransUtils.evalOldName(String cls, boolean isStatic)
          Returns the name of an old-expression evaluation method for the class named cls.
static String TransUtils.evalOldName(JmlTypeDeclaration tdecl, boolean isStatic)
          Returns the name of an old-expression evaluation method for the type declaration.
static String TransUtils.evalOldName(CClassType ctype, boolean isStatic)
           
static String TransUtils.evalOldName(CClass clazz, boolean isStatic)
           
static String TransUtils.invariantLikeName(String prefix, CClass clazz, boolean forStatic)
          Returns the name of invariant-like assertion check method.
static String TransUtils.subtypeConstraintName(String prefix, CClass clazz, boolean isWeakly)
          Returns the name of invariant-like assertion check method.
static String TransUtils.dynamicCallName(CClass clazz)
          Returns the name to be used to make dynamic calls to assertion check methods of the given class.
static String TransUtils.typeToClass(CType type)
          Returns the string representation of the wrapper class for the given type.
protected static String TransUtils.unwrapObject(CType type, String var)
          Returns a string representation of unwrapped value of var with respect to type type.
static String TransUtils.wrapValue(CType type, String var)
          Returns the string representation of wrapping the value of variable var of type type into an object.
static String TransUtils.toString(double value)
          Returns the string representation of the given double value.
static String TransUtils.toString(float value)
          Returns the string representation of the given float value.
static String TransUtils.toString(CType value)
          Returns the string representation of the given type.
static String TransUtils.toPrintableString(char c)
          Returns a printable string representation for the given char value.
static String TransUtils.specPublicAccessorName(String ident)
          Returns the name of the spec_public accessor for the method whose name is ident.
static String TransUtils.modelPublicAccessorName(CMethod meth)
          Returns the name of the spec_public accessor for the method whose name is ident.
static String[] TransUtils.applyBigintBinOperator(String binOp)
          Returns a two-item string array which has the two parts in biginteger operation formula mapping the given binary operator binOp
static String TransUtils.applyBigintUnOperator(String unaryOp)
          Returns a string is the end part in biginteger operation formula mapping the given unary operator unaryOp
static String[] TransUtils.applyBigintCast(CType typeDest, CType typeSource, String strTypeDest)
          Returns a two-item string array which has the two parts in biginteger operation formula mapping the given destination type typeDest and source type typeSource in cast expression. the parm strTypeDest is needed for in different class, the method "toString" is difined differently.
static String TransUtils.applyUnaryPromoteExpression(CType typeSelf, CType typeExpr, String strExpr)
          Returns a string that represents the Java code that casts strExpr of type typeExpr to typeSelf.
static String TransUtils.numberToBigint(String strVar, CType type)
          Returns a string that represents the Java code that convert the parm strVar to its corresponding value of BigInteger which is the other parm typ indicate the type of strVar.
static String[] TransUtils.applyBigintToNumber(CType typeSource, CType typeNumber)
          Returns a two-item string array which has the two parts in biginteger operation formula mapping the given source type typeSource which is a \bigint or numerical type to destination number type typeNumber which is a numerical type.cast expression. the parm strTypeDest is needed for in different class, the method "toString" is difined differently.
static String[] TransUtils.createBigintConvertionAssertion(CType typeSource, CType typeDest)
          Returns a two-item string array which has the two parts in out of range assertion code for translating \bigint to number.
protected  String AssertionMethod.checker(boolean initValue, RacNode stmt, JFormalParameter[] params)
          Returnd the assertion check code (stmt) wrapped with code to inherit superclass's assertions if any, and to signal an assertion violation if it happens at runtime.
protected abstract  String AssertionMethod.inheritAssertion(JFormalParameter[] parameters)
          Returnd the code to inherit the superclass's assertions, i.e., to call the superclass's assertion check method and appropriately accumulate the result to the assertion variable (e.g., conjunction).
protected  String WrapperMethod.nocheckDuringInit()
          Returns code for bypassing assertion checks during the class and instance initialization.
protected  String WrapperMethod.checkPreInvariant()
          Returns code for checking invariant in the pre-state.
protected  String WrapperMethod.checkPostInvariant()
          Returns code for checking invariant in the post-state.
protected  String WrapperMethod.evalOldInConstraint()
          Returns code for evaluating old expressions in constraints.
protected  String WrapperMethod.checkConstraint()
          Returns code for checking history constraint.
protected  String WrapperMethod.constraintCallArg()
          Returns, in the string form, the argument for calling a constraint check method.
protected  String WrapperMethod.callOriginalMethod()
          Returns code for invoking the original method.
protected  String WrapperMethod.resultVarDecl()
          Returns code for declaring result variable.
protected  String WrapperMethod.checkPrecondition()
          Returns code for checking precondition.
protected  String WrapperMethod.checkPostcondition()
          Returns code for checking normal postcondition.
protected  String WrapperMethod.checkXPostcondition()
          Returns code for checking exceptional postcondition.
protected  String WrapperMethod.mandatoryReturn()
          Returns a mandatory return statement.
protected  String WrapperMethod.optionalReturn()
          Returns an optional return statement.
protected  String WrapperMethod.wrap(String type, String comment, String stmt)
          Returns the given statement, stmt, wrapped in assertion check demarcation.
protected  String WrapperMethod.wrap2(String type, String comment, String stmt)
          Returns the given statement, stmt, wrapped in assertion check demarcation.
protected  String WrapperMethod.wrap3(String type, String comment, String stmt)
          Returns the given statement, stmt, wrapped in assertion check demarcation.
protected  String WrapperMethod.isActive(String type)
          Returns a string representation of the condition that tests if the given type of assertion is active.
protected  String WrapperMethod.identification(String state)
          Returns a string that identifies the method being translated.
protected  String WrapperMethod.racMethodName(String type)
          Returns the name of runtime assertion checker method for the given type.
protected  String FinalizerWrapper.checkPostInvariant()
          Returns code for checking invariant in the post-state.
protected  String FinalizerWrapper.checkConstraint()
          Returns code for checking history constraint.
 String RacOptions.packageName()
           
 String RacOptions.set_packageName(String packageName)
           
 String RacOptions.filter()
           
 String RacOptions.set_filter(String filter)
           
 String RacOptions.getShortOptions()
           
 String RacParser.RacMethodDeclaration.name()
           
abstract  String RacNode.name()
          Returns the name of this node.
 String RacParser.RacStatement.name()
           
 String RacParser.RacBlock.name()
           
 String PreValueVars.Entry.type()
          Returns the type of this variable declaration.
 String PreValueVars.Entry.name()
          Returns the name of this variable declaration.
 String PreValueVars.Entry.toString()
          Returns a sting representation of this entry.
protected static String PreOrPostconditionMethod.methodName(JmlMethodDeclaration mdecl)
          Returns the name of assertion check method to be generated for the given method declaration.
protected  String PreOrPostconditionMethod.reflectiveCall(CClass clazz, JFormalParameter[] parameters, String resultVar)
          Return code that calls reflectively the pre or postcondition method of the given supertype, claszz.
protected  String PreOrPostconditionMethod.nonReflectiveCall(CClass clazz, JFormalParameter[] parameters, String resultVar)
          Return code that calls non-reflectively the pre or postcondition method of the given supertype, claszz.
private static String PreOrPostconditionMethod.nonreflectiveCallArguments(JFormalParameter[] parameters)
          Return code that represents the arguments corresponding to the given formal parameters, parameters.
protected  String PostconditionMethod.inheritAssertion(JFormalParameter[] parameters)
          Return the code to check inherited postconditions (from both the superclass and superinterfaces).
protected  String TransMethod.methodName()
          Returns the name of the targe method declaration being translated.
abstract  String VarGenerator.freshOldVar()
          Return a fresh variable name for storing the result of an old expression or an old variable.
abstract  String VarGenerator.freshPreVar()
          Return a fresh variable name for storing the result of evaluating a specification case of a precondtion.
abstract  String VarGenerator.freshPostVar()
          Return a fresh variable name for storing the result of evaluating a specification case of a postcondition.
abstract  String VarGenerator.freshStackVar()
          Return a fresh variable name for a stack for use as saving to and restoring from pre-state values for potential recursive method calls.
abstract  String VarGenerator.freshVar()
          Return a fresh variable name unique in the method.
abstract  String VarGenerator.freshCatchVar()
          Return a fresh variable name for use in a catch clause.
protected  String InvariantLikeMethod.formalParameters()
          Returns the formal parameters of the assertion check method.
protected  String InvariantLikeMethod.inheritAssertion(JFormalParameter[] parameters)
          Return the code to inherit assertions of the superclass and interfaces, i.e., to call the assertion check method of the superclass and interfaces and appropriately accumulate the result to the assertion variable (e.g., conjunction).
protected  String InvariantLikeMethod.inheritFrom(CClass clazz)
          Return the code that, if executed, inherits invariant-like assertions such as invariants and constraints from the given class, clazz.
protected  String InvariantLikeMethod.reflectiveCall(CClass clazz)
          Return code that calls reflectively the assertion check method of the given supertype, claszz.
protected  String InvariantLikeMethod.nonReflectiveCall(CClass clazz)
          Return code that calls non-reflectively the assertion check method of the given supertype, claszz.
protected  String InvariantLikeMethod.inheritCallArgTypes()
          Returns, in the string form, the parameter types of the supertype's assertion check method.
protected  String InvariantLikeMethod.inheritCallArgs()
          Returns, in the string form, the arguments for calling supertype's constraint check method.
 String VarGenerator.VarGenForClass.freshOldVar()
           
 String VarGenerator.VarGenForClass.freshPreVar()
           
 String VarGenerator.VarGenForClass.freshStackVar()
          Return a fresh variable name for a stack for use as saving to and restoring from pre-state values for potential recursive method calls.
 String VarGenerator.VarGenForClass.freshPostVar()
           
 String VarGenerator.VarGenForClass.freshCatchVar()
           
 String VarGenerator.VarGenForClass.freshVar()
           
 String VarGenerator.VarGenForMethod.freshOldVar()
           
 String VarGenerator.VarGenForMethod.freshPreVar()
           
 String VarGenerator.VarGenForMethod.freshStackVar()
          Return a fresh variable name for a stack for use as saving to and restoring from pre-state values for potential recursive method calls.
 String VarGenerator.VarGenForMethod.freshPostVar()
           
 String VarGenerator.VarGenForMethod.freshVar()
           
 String VarGenerator.VarGenForMethod.freshCatchVar()
           
static String TransExpression.applyOperator(String v1, String v2, String binOp, CType type)
          Returns a string that represents the Java code that applies the given operator, binOp, to the given operands, v1 and v2.
static String TransExpression.applyOperator(String v, String unaryOp, CType type)
          Returns a string that represents the Java code that applies the given operator, unaryOp, to the given operand v1.
 String TransExpression.applyCast(String v, CType typeDest, CType typeVar)
          Returns a string that represents the Java code that casts v of type typeVar to typeDest.
private  String TransExpression.optLHS(JMethodCallExpression expr, String var)
          Returns the optional left-hand-side of assignment statement to store the result of evaluation method call expression.
 String TransExpression.applyArrayAccessExpression(String strVar, CType typeAccessor, CType typeNumber)
           
private  String TransExpression.transLocalVariable(JLocalVariableExpression self)
           
static String TransExpression.defaultValue(CType type)
          Returns the default value of the type type.
protected  String TransExpression.toString(CType type)
          Returns the string representation of the given type.
protected  String TransExpression.freshVar()
          Returns a fresh variable name.
protected  String TransExpression.GET_ARGUMENT()
          Returns the top element of the parameter stack.
protected  String TransExpression.PEEK_ARGUMENT()
          Peeks the top element of the parameter stack.
protected  String TransExpression.diagTerms(String var)
          Returns a string representation of Java statements that, if executed, prints the values of diagnostic terms accumulated so far and stores them to the given variable, var.
private  String TransPostcondition.buildKey()
          Returns a key for retrieving the value of old expression currently being translated.
 String RacContext.angelicValue(String var)
          Returns the string form of statement expression that sets the variable, var, to the value for an angelic undefinedness.
 String RacContext.demonicValue(String var)
          Returns the string form of statement expression that sets the variable, var, to the value for an demonic undefinedness.
 String TransType.translateForSpecTestFile()
           
private  String TransType.wrap(CType t, String val)
           
private  String TransType.unwrap(CType t, String val)
           
protected abstract  String TransType.receiver(String className, String clazz, String receiver)
          Returns a string form of code that, if executed, returns the receiver of for a dynamic call.
static String TransType.ident()
          Returns the identifier of the type currently being tranlated.
protected  String TransInterface.surrogatePlaceHolders(RacNode newFdecls, RacNode newMdecls, RacNode mdecls)
          Returns a place holder string ($0...
protected  String TransInterface.receiver(String clsName, String clazz, String receiver)
          Returns a string form of code that, if executed, returns the receiver of for a dynamic call.
 String RacPredicate.message()
          Returns the message associated with this RAC predicate.
 String[] JmlModifier.asStrings(long modifiers)
          Returns an array of the names of all the modifiers in the preferred order.
protected  String TransExpression2.stmtAsString()
           
private  String TransExpression2.translatePrimitive(CType type)
           
private  String TransExpression2.transFieldReference(JClassFieldExpression self, String accPrefix)
          Translates a class field expression that references a model, ghost, spec_public, or spec_protected field.
private  String TransExpression2.receiverForDynamicCall(JExpression expr)
          Returns the receiver for executing the given expression, expr using a dynamic call.
 String TransExpression2.GET_RESULT()
          Returns the top element of the result stack.
private  String TransPostExpression2.buildKey()
          Returns a key for retrieving the value of old expression currently being translated.
protected  String RacPrettyPrinter.toString(CType type)
           
private static String TransExpressionSideEffect.operator(int opr)
          Returns the string representation of the desugared increment or decrement operator.
protected  String ConstraintMethod.formalParameters()
          Returns the formal parameters of the assertion check method.
protected  String ConstraintMethod.inheritCallArgTypes()
          Returns, in the string form, the formal parameter types of the supertype's constraint check method.
protected  String ConstraintMethod.inheritCallArgs()
          Returns, in the string form, the arguments for calling supertype's constraint check method.
static String TransMethodBody.operator(JAssignmentExpression expr)
          Returns the string representation of the assignment operator of the given assignment expression.
static String TransMethodBody.defaultValue(CType type)
          Return the default value of the type type.
protected  String TransMethodBody.isActive()
          Returns a string representation of the condition that tests if the given type of assertion is active.
protected  String TransClass.receiver(String clsName, String clazz, String receiver)
          Returns a string form of code that, if executed, returns the receiver of for a dynamic call.
private static String MotherConstraintMethod.postfix(boolean isStatic, JmlTypeDeclaration typeDecl)
          Returns the postfix to be used for constraint check method's name.
protected  String MotherConstraintMethod.checker(boolean initValue, RacNode stmt, JFormalParameter[] params)
          Returns the given constraint check code, stmt, wrapped with code to inherit supertypes's constraints.
protected  String MotherConstraintMethod.inheritAssertion(JFormalParameter[] parameters)
          Return the code to inherit constraints of the superclass and interfaces, i.e., to call the constraint methods of the superclass and interfaces.
protected  String MotherConstraintMethod.inheritFrom(boolean isWeaksubtype, CClass clazz)
          Returns code that, if executed, inherits constraints from the given type, clazz.
protected  String MotherConstraintMethod.reflectiveCall(boolean isWeakly, CClass clazz)
          Return code, in the string form, that calls reflectively the constraint check method of the given supertype, claszz.
protected  String MotherConstraintMethod.nonReflectiveCall(boolean isWeakly, CClass clazz)
          Return code, in the string form, that calls non-reflectively the constraint check method of the given supertype, claszz.
protected  String MotherConstraintMethod.inheritCallArgTypes()
          Returns, in the string form, the formal parameter types of the supertype's constraint check method.
protected  String MotherConstraintMethod.inheritCallArgs()
          Returns, in the string form, the arguments for calling supertype's constraint check method.
static String SubtypeConstraintMethod.postfix(JmlTypeDeclaration tdecl, boolean forWeakSubtype)
          Returns the postfix to be used for constraint check method's name.
static String SubtypeConstraintMethod.postfix(CClass clazz, boolean forWeakSubtype)
          Returns the postfix to be used for constraint check method's name.
protected  String SubtypeConstraintMethod.checker(boolean initValue, RacNode stmt, JFormalParameter[] params)
          Returns the local constraint check code (stmt) wrapped with code to inherit supertypes's constraints.
static String LocalConstraintMethod.postfix(boolean isStatic, JmlTypeDeclaration typeDecl, int suffix)
          Returns the postfix to be used for constraint check method's name.
private  String LocalConstraintMethod.isApplicable(JmlMethodName name, String var)
          Returns code that tests if the given JML method name, name, is applicable to the method name given as a parameter (rac$name and rac$params) to the constraint check method.
private  String LocalConstraintMethod.nameMatched(JmlMethodName name, String var)
          Returns code that compares the given JML method name, name, with the method name given as a parameter (rac$name) to the constraint check method.
private  String LocalConstraintMethod.paramMatched(JmlMethodName name, String var)
          Returns code that compares the foraml parameter types of the given JML method, name, with those of the constraint check method.
private  String LocalConstraintMethod.simpleName(JmlName[] subnames)
          Returns a simplied method name of the given JML names, that can be compared with the method name given as a parameter of the constraint check method.
protected  String ConstructorWrapper.nocheckDuringInit()
          Returns code for bypassing assertion checks during the class and instance initialization.
protected  String ConstructorWrapper.checkPrecondition()
          Returns code for checking precondition.
protected  String ConstructorWrapper.checkPreInvariant()
          Returns code for checking invariant in the pre-state.
protected  String ConstructorWrapper.checkPostInvariant()
          Returns code for checking invariant in the post-state.
protected  String ConstructorWrapper.checkPostInstanceInvariant()
          Returns code for checking instance invariant in the post-state.
protected  String ConstructorWrapper.checkPostStaticInvariant()
          Returns code for checking static invariant in the post-state.
protected  String ConstructorWrapper.evalOldInConstraint()
          Returns code for evaluating old expressions in static constraint.
protected  String ConstructorWrapper.checkConstraint()
          Returns code for checking history constraints.
protected  String ConstructorWrapper.callOriginalMethod()
          Returns code for invoking the now-renamed original constructor.
protected  String ConstructorWrapper.checkPostcondition()
          Returns code for checking normal postcondition.
protected  String ConstructorWrapper.checkXPostcondition()
          Returns code for checking exceptional postcondition.
protected  String ConstructorWrapper.isActive(String type)
          Returns a string representation of the condition that tests if the given type of assertion is active.
protected  String ConstructorWrapper.identification(String state)
          Returns a string that identifies the method being translated.
protected  String PreconditionMethod.checker(boolean start, RacNode stmt, JFormalParameter[] params, String oldExprEvaluation)
          Returns the precondition check code (stmt) wrapped with code to inherit superclass's preconditions if any, and to signal an assertion violation if it happens at runtime.
private  String PreconditionMethod.preValueSaveCode()
          Returns code for saving pre-values to internal stacks to be fetched by the post-state assertion check method such as the postcondition method in the post-state.
private  String PreconditionMethod.preValueSaveCode2()
          Returns code for saving pre-values to internal stacks to be fetched by the post-state assertion check method such as the postcondition method in the post-state.
protected  String PreconditionMethod.inheritAssertion(JFormalParameter[] parameters)
          Return the code to check inherited preconditions (from both the superclass and interfaces), i.e., to call the proper precondition check methods and appropriately disjoin the result to the assertion variable.
protected  String RacGUI.getClasspath(Options opt)
           
protected  String RacGUI.getSourcepath(Options opt)
           
protected  String RacGUI.getWebpageName()
           
protected  String RacGUI.getWebpageLocation()
           
 String RacGUI.AllFilesGUIFileFilter.getDescription()
           
 String RacGUI.RacGUIFileFilter.getDescription()
           
 String TransExpression.DiagTerm.term()
           
private  String TransConstraint.evalSuperHC(VarGenerator varGen, boolean forStatic, CClass clazz)
          Return code that evaluates the old expressions of the given supertype, clazz, by making an appropriate call to its old expression evaluation method.
 

Methods in org.jmlspecs.jmlrac with parameters of type String
static String TransUtils.wrappedValue(CType type, String ident)
          Returns a string representation of a Java expression that denotes a wrapper object for the given variable, ident of type, type.
static String TransUtils.evalOldName(String cls, boolean isStatic)
          Returns the name of an old-expression evaluation method for the class named cls.
static String TransUtils.invariantLikeName(String prefix, CClass clazz, boolean forStatic)
          Returns the name of invariant-like assertion check method.
static String TransUtils.subtypeConstraintName(String prefix, CClass clazz, boolean isWeakly)
          Returns the name of invariant-like assertion check method.
protected static String TransUtils.