dk.brics.xact.analysis.flowgraph.statements
Class CheckStm

java.lang.Object
  extended by dk.brics.xact.analysis.flowgraph.Entity
      extended by dk.brics.xact.analysis.flowgraph.Statement
          extended by dk.brics.xact.analysis.flowgraph.statements.CheckStm

public class CheckStm
extends Statement

Check operation for XML.getNumber(String), XML.getString(String), XML.has(String), XML.toDocument(), Node.isElement(), and variants.


Nested Class Summary
static class CheckStm.Kind
          Node kinds.
 
Constructor Summary
CheckStm(CheckStm.Kind kind, Variable base, String xpath, Origin origin)
          Constructs a new CheckStm object.
 
Method Summary
 Variable getBase()
          Returns the base variable, or null if none is available.
 CheckStm.Kind getKind()
          Returns the kind.
 String getOpName()
          Returns the name of the operation.
 String getXPath()
          Returns the XPath expression, or null if none is available.
 void setBase(Variable base)
          Sets the base variable.
 String toString()
          Returns a textual description of the statement.
 void visitBy(StatementVisitor v)
          Visits this statement by the given visitor.
 
Methods inherited from class dk.brics.xact.analysis.flowgraph.Entity
getOrigin
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

CheckStm

public CheckStm(CheckStm.Kind kind,
                Variable base,
                String xpath,
                Origin origin)
Constructs a new CheckStm object. xpath and base can be null.

Method Detail

getBase

public Variable getBase()
Returns the base variable, or null if none is available.


getKind

public CheckStm.Kind getKind()
Returns the kind.


getOpName

public String getOpName()
Description copied from class: Statement
Returns the name of the operation.

Specified by:
getOpName in class Statement

getXPath

public String getXPath()
Returns the XPath expression, or null if none is available.


setBase

public void setBase(Variable base)
Sets the base variable.


toString

public String toString()
Description copied from class: Statement
Returns a textual description of the statement. This includes the origin and other statically available information.

Overrides:
toString in class Statement

visitBy

public void visitBy(StatementVisitor v)
Description copied from class: Statement
Visits this statement by the given visitor.

Specified by:
visitBy in class Statement


Copyright © 2005-2011 Aarhus University.