Tria JSON format

This page describes the format of the JSON file as generated by Tria.

Tip: To write JSON data, pass -json-output=<Targetfile> to Tria!

Root

{
  "<source filename>": <FileData>,
  ...
}

FileData

{ "<class name>": <ClassData>, ... }

ClassData

{
  "annotations": <Annotations>,
  "bases": [ "<base class>", ... ],
  "memberMethods": <Methods>,
  "staticMethods": <Methods>,
  "constructors": <Methods>,
  "enums": <Enums>,
  "fields": <Fields>
}

Annotations

[ <AnnotationData>, ... ]

AnnotationData

{
  "name": <name>,
  "value": <value>
}

Methods

[ <MethodData>, ... ]

MethodData

{
  "name": <name>,
  "annotations": <Annotations>,
  "resultType": <result type>,
  "argumentNames": [ "<argument name>", ... ],
  "argumentTypes": [ "<argument type>", ... ]
}

Enums

{ "<name of enum>": <EnumData>, ... }

EnumData

{
  "annotations": <Annotations>,
  "values": { "<key>": <value>, ... }
}

Fields

{ "<name of field>": <FieldData>, ... }

FieldData

{
  "annotations": <Annotations>
  "type": "<type name>",
  "readOnly": <true/false>
}