manifold.api.json

Class ErrantType

java.lang.Object

manifold.api.json.JsonSchemaType

manifold.api.json.JsonStructureType

manifold.api.json.ErrantType

All Implemented Interfaces:

IJsonParentType, IJsonType

public class ErrantType
extends JsonStructureType

Constructor Summary

Constructors

Constructor and Description
ErrantType(URL file, String errantTypeName)

Method Summary

Modifier and Type	Method and Description
int	getOffset()
void	setPosition(int offset)

Methods inherited from class manifold.api.json.JsonStructureType

addChild, addMember, addSuper, equals, findChild, findMemberType, getInnerTypes, getMembers, getSuperTypes, getToken, hashCode, render, setToken

Methods inherited from class manifold.api.json.JsonSchemaType

getDefinitions, getFile, getIdentifier, getLabel, getName, getParent, setDefinitions, setFile

Methods inherited from class java.lang.Object

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

Constructor Detail

ErrantType

public ErrantType(URL file,
                  String errantTypeName)

Method Detail

getOffset

public int getOffset()

setPosition

public void setPosition(int offset)