Java Doc for DebuggerLP.java in » Testing » KeY » de » uka » ilkd » key » visualdebugger » Java Source Code / Java DocumentationJava Source Code and Java Documentation

Java Source Code / Java Documentation

1.	6.0 JDK Core
2.	6.0 JDK Modules
3.	6.0 JDK Modules com.sun
4.	6.0 JDK Modules com.sun.java
5.	6.0 JDK Modules sun
6.	6.0 JDK Platform
7.	Ajax
8.	Apache Harmony Java SE
9.	Aspect oriented
10.	Authentication Authorization
11.	Blogger System
12.	Build
13.	Byte Code
14.	Cache
15.	Chart
16.	Chat
17.	Code Analyzer
18.	Collaboration
19.	Content Management System
20.	Database Client
21.	Database DBMS
22.	Database JDBC Connection Pool
23.	Database ORM
24.	Development
25.	EJB Server geronimo
26.	EJB Server GlassFish
27.	EJB Server JBoss 4.2.1
28.	EJB Server resin 3.1.5
29.	ERP CRM Financial
30.	ESB
31.	Forum
32.	GIS
33.	Graphic Library
34.	Groupware
35.	HTML Parser
36.	IDE
37.	IDE Eclipse
38.	IDE Netbeans
39.	Installer
40.	Internationalization Localization
41.	Inversion of Control
42.	Issue Tracking
43.	J2EE
44.	JBoss
45.	JMS
46.	JMX
47.	Library
48.	Mail Clients
49.	Net
50.	Parser
51.	PDF
52.	Portal
53.	Profiler
54.	Project Management
55.	Report
56.	RSS RDF
57.	Rule Engine
58.	Science
59.	Scripting
60.	Search Engine
61.	Security
62.	Sevlet Container
63.	Source Control
64.	Swing Library
65.	Template Engine
66.	Test Coverage
67.	Testing
68.	UML
69.	Web Crawler
70.	Web Framework
71.	Web Mail
72.	Web Server
73.	Web Services
74.	Web Services apache cxf 2.0.1
75.	Web Services AXIS2
76.	Wiki Engine
77.	Workflow Engines
78.	XML
79.	XML UI

Java

Java Tutorial

Illustrator Tutorials

GIMP Tutorials

C# / C Sharp

C# / CSharp Tutorial

C# / CSharp Open Source

SQL Server / T-SQL Tutorial

Oracle PL / SQL

Oracle PL/SQL Tutorial

Flash / Flex / ActionScript

VBA / Excel / Access / Word

XML

XML Tutorial

Microsoft Office PowerPoint 2007 Tutorial

Microsoft Office Excel 2007 Tutorial

Microsoft Office Word 2007 Tutorial

Java Source Code / Java Documentation » Testing » KeY » de.uka.ilkd.key.visualdebugger

Source Cross Reference

Class Diagram

Java Document (Java Doc)

java.lang .Object

de.uka.ilkd.key.pp .LogicPrinter

de.uka.ilkd.key.visualdebugger .DebuggerLP

DebuggerLP
public class DebuggerLP extends LogicPrinter (Code)

Inner Class :class Abb extends AbbrevMap

Inner Class :class AbbrevWrapper

Field Summary
Abb	abb
NotationInfo	info
HashMap	inputValues
LinkedList	objects
Services	services
SymbolicObject	thisObject
final VisualDebugger	vd

Constructor Summary
public	DebuggerLP(ProgramPrinter prgPrinter, NotationInfo notationInfo, Services services, HashMap inputValues)
public	DebuggerLP(ProgramPrinter prgPrinter, NotationInfo notationInfo, Services services, HashMap inputValues, LinkedList objects, SymbolicObject thisObject)

Method Summary
public void	printCast(String pre, String post, Term t, int ass)
public void	printFunctionTerm(String name, Term t)
public void	printTerm(Term t)

Field Detail

abb
Abb abb(Code)

info
NotationInfo info(Code)

inputValues
HashMap inputValues(Code)

objects
LinkedList objects(Code)

services
Services services(Code)

thisObject
SymbolicObject thisObject(Code)

vd
final VisualDebugger vd(Code)

Constructor Detail

DebuggerLP
public DebuggerLP(ProgramPrinter prgPrinter, NotationInfo notationInfo, Services services, HashMap inputValues)(Code)

DebuggerLP
public DebuggerLP(ProgramPrinter prgPrinter, NotationInfo notationInfo, Services services, HashMap inputValues, LinkedList objects, SymbolicObject thisObject)(Code)

Method Detail

printCast
public void printCast(String pre, String post, Term t, int ass) throws IOException(Code)

printFunctionTerm
public void printFunctionTerm(String name, Term t) throws IOException(Code)

printTerm
public void printTerm(Term t) throws IOException(Code)

Fields inherited from de.uka.ilkd.key.pp.LogicPrinter

final public static int DEFAULT_LINE_WIDTH(Code)(Java Doc)
protected SVInstantiations instantiations(Code)(Java Doc)
protected Layouter layouter(Code)(Java Doc)

Methods inherited from de.uka.ilkd.key.pp.LogicPrinter

public SVInstantiations getInstantiations()(Code)(Java Doc)
protected Layouter getLayouter()(Code)(Java Doc)
public NotationInfo getNotationInfo()(Code)(Java Doc)
public InitialPositionTable getPositionTable()(Code)(Java Doc)
protected Layouter mark(Object o)(Code)(Java Doc)
protected void markEndSub()(Code)(Java Doc)
protected void markStartSub()(Code)(Java Doc)
protected void maybeParens(Term t, int ass) throws IOException(Code)(Java Doc)
protected void printAddProgVars(SetOfSchemaVariable apv) throws IOException(Code)(Java Doc)
public void printAnonymousUpdate(Term t, int ass) throws IOException(Code)(Java Doc)
public void printArray(String[] arraySep, Term t, int[] ass) throws java.io.IOException(Code)(Java Doc)
protected void printAttribs(Taclet taclet) throws IOException(Code)(Java Doc)
public void printCast(String pre, String post, Term t, int ass) throws IOException(Code)(Java Doc)
public void printConstant(String s) throws IOException(Code)(Java Doc)
public void printConstrainedFormula(ConstrainedFormula cfma) throws IOException(Code)(Java Doc)
public void printConstraint(Constraint p) throws IOException(Code)(Java Doc)
protected void printFind(Taclet taclet) throws IOException(Code)(Java Doc)
public void printFunctionTerm(String name, Term t) throws IOException(Code)(Java Doc)
protected void printGoalTemplate(TacletGoalTemplate tgt) throws IOException(Code)(Java Doc)
protected void printGoalTemplates(Taclet taclet) throws IOException(Code)(Java Doc)
protected void printHeuristic(RuleSet sv) throws IOException(Code)(Java Doc)
protected void printHeuristics(Taclet taclet) throws IOException(Code)(Java Doc)
public void printIfThenElseTerm(Term t, String keyword) throws IOException(Code)(Java Doc)
public boolean printInShortForm(String attributeProgramName, Term t)(Code)(Java Doc)
public boolean printInShortForm(String programName, Sort sort)(Code)(Java Doc)
public static boolean printInShortForm(String programName, Sort sort, Services services)(Code)(Java Doc)
public void printInfixTerm(Term l, int assLeft, String name, Term r, int assRight) throws IOException(Code)(Java Doc)
public void printInfixTermContinuingBlock(Term l, int assLeft, String name, Term r, int assRight) throws IOException(Code)(Java Doc)
public void printJavaBlock(JavaBlock j) throws IOException(Code)(Java Doc)
public void printLocationDescriptor(LocationDescriptor loc) throws java.io.IOException(Code)(Java Doc)
public void printLocationDescriptors(SetOfLocationDescriptor locations) throws java.io.IOException(Code)(Java Doc)
public void printMetavariable(Metavariable p_mv) throws IOException(Code)(Java Doc)
public void printModalityTerm(String left, JavaBlock jb, String right, Term phi, int ass) throws IOException(Code)(Java Doc)
protected void printNewVarcond(NewVarcond sv) throws IOException(Code)(Java Doc)
protected void printNotFreeIn(NotFreeIn sv) throws IOException(Code)(Java Doc)
public void printOCLCollOpBoundVarTerm(Term collection, String arrow, String name, String leftParens, String iterVarDecl, String sep, Term expr, String rightParens) throws IOException(Code)(Java Doc)
public void printOCLCollOpTerm(String name, Term t) throws IOException(Code)(Java Doc)
public void printOCLCollectionTerm(Term t) throws IOException(Code)(Java Doc)
public void printOCLIfTerm(String ifS, Term ifT, String thenS, Term thenT, String elseS, Term elseT, String endif) throws IOException(Code)(Java Doc)
public void printOCLInvariantTerm(Term context, Term invariant) throws IOException(Code)(Java Doc)
public void printOCLIterateTerm(Term collection, String arrow, String name, String leftParens, String iterVarDecl, String sep1, String accVarDecl, String equals, Term accVarInit, String sep2, Term expr, String rightParens) throws IOException(Code)(Java Doc)
public void printOCLListOfInvariantsTerm(Term t) throws IOException(Code)(Java Doc)
public void printOCLUMLPropertyTerm(String name, Term t) throws IOException(Code)(Java Doc)
public void printOCLWrapperTerm(Term t) throws IOException(Code)(Java Doc)
public void printPostfixTerm(Term t, int ass, String name) throws IOException(Code)(Java Doc)
public void printPrefixTerm(String name, Term t, int ass) throws IOException(Code)(Java Doc)
public void printProgramElement(ProgramElement pe) throws IOException(Code)(Java Doc)
public void printProgramSV(ProgramSV pe) throws IOException(Code)(Java Doc)
public void printProgramVariable(ProgramVariable pv) throws IOException(Code)(Java Doc)
public void printQuanUpdateTerm(String l, String asgn, String r, Term t, int ass1, int ass2, int ass3) throws IOException(Code)(Java Doc)
public void printQuantifierTerm(String name, ArrayOfQuantifiableVariable vars, Term phi, int ass) throws IOException(Code)(Java Doc)
public void printQueryTerm(String name, Term t, int ass) throws IOException(Code)(Java Doc)
protected void printRewrite(Term t) throws IOException(Code)(Java Doc)
protected void printRewriteAttributes(RewriteTaclet taclet) throws IOException(Code)(Java Doc)
protected void printRules(ListOfTaclet rules) throws IOException(Code)(Java Doc)
protected void printSchemaVariable(SchemaVariable sv) throws IOException(Code)(Java Doc)
public void printSemisequent(Semisequent semiseq) throws IOException(Code)(Java Doc)
public void printSemisequent(ListOfSequentPrintFilterEntry p_formulas) throws IOException(Code)(Java Doc)
public void printSequent(Sequent seq, SequentPrintFilter filter, boolean finalbreak)(Code)(Java Doc)
public void printSequent(SequentPrintFilter filter, boolean finalbreak)(Code)(Java Doc)
public void printSequent(Sequent seq, boolean finalbreak)(Code)(Java Doc)
public void printSequent(Sequent seq, SequentPrintFilter filter)(Code)(Java Doc)
public void printSequent(Sequent seq)(Code)(Java Doc)
public void printShadowedAttribute(Term t1, int ass1, String name, Term t2) throws java.io.IOException(Code)(Java Doc)
public void printSubstTerm(String l, QuantifiableVariable v, Term t, int ass2, String r, Term phi, int ass3) throws IOException(Code)(Java Doc)
public void printTaclet(Taclet taclet, SVInstantiations sv, boolean showWholeTaclet)(Code)(Java Doc)
public void printTaclet(Taclet taclet)(Code)(Java Doc)
public void printTerm(Term t) throws IOException(Code)(Java Doc)
public void printTerm(ListOfTerm terms) throws IOException(Code)(Java Doc)
public void printTermContinuingBlock(Term t) throws IOException(Code)(Java Doc)
protected void printTextSequent(Sequent seq, String text, boolean frontbreak) throws IOException(Code)(Java Doc)
protected void printVarCond(Taclet taclet) throws IOException(Code)(Java Doc)
protected void printVariableCondition(VariableCondition sv) throws IOException(Code)(Java Doc)
public ProgramPrinter programPrinter()(Code)(Java Doc)
public static String quickPrintLocationDescriptors(SetOfLocationDescriptor locations, Services services)(Code)(Java Doc)
public void reset()(Code)(Java Doc)
public StringBuffer result()(Code)(Java Doc)
public void setInstantiation(SVInstantiations instantiations)(Code)(Java Doc)
public int setLineWidth(int lineWidth)(Code)(Java Doc)
protected void startTerm(int size)(Code)(Java Doc)
public String toString()(Code)(Java Doc)
public void update(Sequent seq, SequentPrintFilter filter, int lineWidth)(Code)(Java Doc)

Methods inherited from java.lang.Object

protected Object clone() throws CloneNotSupportedException(Code)(Java Doc)
public boolean equals(Object o)(Code)(Java Doc)
protected void finalize() throws Throwable(Code)(Java Doc)
final native public Class getClass()(Code)(Java Doc)
public int hashCode()(Code)(Java Doc)
final public void notify() throws IllegalMonitorStateException(Code)(Java Doc)
final public void notifyAll() throws IllegalMonitorStateException(Code)(Java Doc)
public String toString()(Code)(Java Doc)
final public void wait() throws IllegalMonitorStateException, InterruptedException(Code)(Java Doc)
final public void wait(long ms) throws IllegalMonitorStateException, InterruptedException(Code)(Java Doc)
final public void wait(long ms, int ns) throws IllegalMonitorStateException, InterruptedException(Code)(Java Doc)

www.java2java.com | Contact Us

All other trademarks are property of their respective owners.