All Packages Class Hierarchy This Package Previous Next Index
Class primitives.machines.SmallMachine
java.lang.Object
|
+----primitives.machines.Machine
|
+----primitives.machines.SmallMachine
- public class SmallMachine
- extends Machine
A class encapsulating the behavior of a Small machine used by
SmallMachineProof applet.
-
alpha
- the angle of the current state of the machine.
-
alphaRange
- Specifies the angle limits of motion.
-
state
- Switching state of the 2 joints.
-
t1
-
-
t2
-
-
SmallMachine(Dimension)
-
-
finalize()
- Sets object field to null.
-
reachEnd()
- streches the right leg.
-
redraw(Graphics)
- Redraws the machine.
-
rotateJoint(double)
- rotates the right joint with respect to the left joint.
-
switchBend()
- Switches the bending state of the right joint.
state
public int state[]
- Switching state of the 2 joints.
Only values of -1 and a are allowed [should be private]
alpha
public double alpha
- the angle of the current state of the machine.
[should be private]
alphaRange
public double alphaRange[]
- Specifies the angle limits of motion.
t1
private Coordinate t1
t2
private Coordinate t2
SmallMachine
public SmallMachine(Dimension d)
- Parameters:
- d - the size of the rectangle to draw the machine in.
rotateJoint
public void rotateJoint(double alpha) throws MachineException
- rotates the right joint with respect to the left joint.
- Parameters:
- alpha - the angle to rotate the joint to.
- Throws: MachineException
- if the rotation requsted is not valid.
reachEnd
public void reachEnd()
- streches the right leg.
redraw
public void redraw(Graphics g)
- Redraws the machine.
- Parameters:
- g - the graphic context to draw to.
- Overrides:
- redraw in class Machine
switchBend
public void switchBend()
- Switches the bending state of the right joint.
- See Also:
- switchBend
finalize
public void finalize() throws Throwable
- Sets object field to null.
- Throws: Throwable
- .
- Overrides:
- finalize in class Machine
All Packages Class Hierarchy This Package Previous Next Index