org.mesopotamia.lang.java.javadoc
Class Tag

java.lang.Object
  org.mesopotamia.lang.java.javadoc.Tag

public class Tag
extends java.lang.Object

Version:

$Revision: 1.2 $

Author:

Pavel Vlasov

Constructor Summary

Tag(AST ast)

Method Summary

java.util.List<FormalSentence>	getFormalSpecification()
java.util.List<java.lang.String>	getInformalSpecification()
java.lang.String	getInformalSpecificationAsString()
java.lang.String	getName()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Tag

public Tag(AST ast)

Method Detail

getName

public java.lang.String getName()

getInformalSpecification

public java.util.List<java.lang.String> getInformalSpecification()

getFormalSpecification

public java.util.List<FormalSentence> getFormalSpecification()

getInformalSpecificationAsString

public java.lang.String getInformalSpecificationAsString()