JML

java.lang
Class StackTraceElement

java.lang.Object
  extended byjava.lang.StackTraceElement
All Implemented Interfaces:
Serializable

public final class StackTraceElement
extends Object
implements Serializable


Field Summary
private  String declaringClass
           
private  String fileName
           
private  int lineNumber
           
private  String methodName
           
private static long serialVersionUID
           
 
Constructor Summary
StackTraceElement(String, String, String, int)
           
 
Method Summary
private static boolean eq(Object, Object)
           
 boolean equals(Object)
           
 String getClassName()
           
 String getFileName()
           
 int getLineNumber()
           
 String getMethodName()
           
 int hashCode()
           
 boolean isNativeMethod()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

lineNumber

private int lineNumber

declaringClass

private String declaringClass

methodName

private String methodName

serialVersionUID

private static final long serialVersionUID

fileName

private String fileName
Constructor Detail

StackTraceElement

public StackTraceElement(String,
                         String,
                         String,
                         int)
Method Detail

getFileName

public String getFileName()

getLineNumber

public int getLineNumber()

getClassName

public String getClassName()

getMethodName

public String getMethodName()

isNativeMethod

public boolean isNativeMethod()

toString

public String toString()
Overrides:
toString in class Object

equals

public boolean equals(Object)
Overrides:
equals in class Object

eq

private static boolean eq(Object,
                          Object)

hashCode

public int hashCode()
Overrides:
hashCode in class Object

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.