ChooseableTool

BeginTool DrawImage EndTool GetTool GetToolTarget MakeViewable

ResetClass SetTool SetTouchTool ShouldForceBorders ShouldFreezeScreen

Attributes

Image LineStyle

Fields

Define Class ChooseableTool; 
        // tools are what we call visible touch modes
    abstract;
    inherits from Object;
    inherits from Tool;

    field image: Image, getter, sharedSetter;

    intrinsic GetTool(): ChooseableTool;
    intrinsic SetTool(newTool: ChooseableTool);
        // call to set the tool to newTool
    intrinsic SetTouchTool();

    intrinsic GetToolTarget(touchInput: TouchInput; var tool: Tool; var target: Viewable);
    
    operation DrawImage(origin: Dot), noFail;
    operation MakeViewable(): Viewable;
    operation ShouldForceBorders(): Boolean, noFail;
    operation ShouldFreezeScreen(): Boolean;

    operation BeginTool();
    operation EndTool();
    overrides ResetClass;

    attribute Image: Image;
    attribute LineStyle: LineStyle, readOnly;
end class;