Table of Contents

Syntax

objt ro Basic:Obj
	ro that:Basic
	ro this:Basic
    
objt ro ComplexInit:Obj
	ro whatever:{Int 3}
		230984
		849 394580
	ro complex0:Bird
		.that 98
		.this 2
	ro complex1:Bird
		.that 98902
		.this 235
	ro basic:Int 87

Object section syntax allows for members to be declared underneath it. It must have a type that it inherits from. It should not have anything after the type specifier.

Currently, object section syntax does not support nested object definitions.

Each member should start with a permission, then have a name, then a type specifier. After that, they can have an optional initialization value.

Arf supports bitfields, like in C, although it is done with an amperseand symbol. This is a member of type integer with a width of 1:

ro someMember:Int & 1

Semantics

The "type" of an object type definition is what object it inherits. Most objects will inherit from Obj, which is a blank object.

Object definitions have a list of members, preceded by a permission. Members can have simple or complex initializations, or none at all. These act as the default values for those members.