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

java.lang.Object
  dk.brics.xact.analysis.flowgraph.Entity
      dk.brics.xact.analysis.flowgraph.Statement
          dk.brics.xact.analysis.flowgraph.statements.Assignment
              dk.brics.xact.analysis.flowgraph.statements.InstanceAssignment
                  dk.brics.xact.analysis.flowgraph.statements.ValidateStm

public class ValidateStm
extends InstanceAssignment

Assignment of XML.validate(String).

Constructor Summary

ValidateStm(Variable dest, Variable base, SchemaType schema, Origin origin)
Constructs a new ValidateStm object.

Method Summary

String	getOpName() Returns the name of the operation.
SchemaType	getSchema() Returns the schema.
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.statements.InstanceAssignment

getBase, setBase

Methods inherited from class dk.brics.xact.analysis.flowgraph.statements.Assignment

getDest, setDest

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

ValidateStm

public ValidateStm(Variable dest,
                   Variable base,
                   SchemaType schema,
                   Origin origin)

Constructs a new ValidateStm object. if base is null, an unknown input value is assumed.

Method Detail

getOpName

public String getOpName()

Description copied from class: Statement

Returns the name of the operation.

Specified by:

getOpName in class Statement

getSchema

public SchemaType getSchema()

Returns the schema.

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 Assignment

visitBy

public void visitBy(StatementVisitor v)

Description copied from class: Statement

Visits this statement by the given visitor.

Specified by:

visitBy in class Statement