Ejemplo n.º 1
0
func (state *State) FindApplications(pred uint16) []uint16 {
	opCode, argOne, argTwo := opcodes.GetComponents(pred)

	switch opCode {
	case opcodes.OnOpCode:
		return []uint16{
			opcodes.StackOpCode | argOne | argTwo, // Stack(x,y) | Putdown(x)
		}
	case opcodes.HoldingOpCode:
		if argOne == argone.Blank {
			return []uint16{
				opcodes.StackOpCode | state.findWhatIsBeingHeld() | argtwo.Floor, // Putdown(x)
			}
		} else {
			base := state.findWhatBlockIsOn(argOne)
			if base == argtwo.Blank {
				return []uint16{
					opcodes.PickupOpCode | argOne, // Pickup(x)
				}
			} else {
				return []uint16{
					opcodes.UnstackOpCode | argOne | base, // Unstack(x, ?)
				}
			}
		}
	case opcodes.ClearOpCode:
		top := state.findWhatIsOnBlock(argOne)
		return []uint16{
			opcodes.UnstackOpCode | top | argOne>>6, // Unstack(?, x)
		}
	default:
		return nil
	}
}
Ejemplo n.º 2
0
func (state *State) GetPreconditions(cmd uint16) []uint16 {
	opCode, argOne, argTwo := opcodes.GetComponents(cmd)
	switch opCode {
	case opcodes.StackOpCode: // Stack(x,y)
		if argTwo != argtwo.Floor {
			return []uint16{
				opcodes.HoldingOpCode | argOne | argtwo.Blank, // Holding(x)
				opcodes.ClearOpCode | argTwo<<6,               // Clear(y)
			}
		} else {
			return []uint16{
				opcodes.HoldingOpCode | argOne | argtwo.Blank, // Holding(x)
			}
		}
	case opcodes.UnstackOpCode: // Unstack(x,y)
		return []uint16{
			opcodes.OnOpCode | argOne | argTwo,                  // On(x,y)
			opcodes.ClearOpCode | argOne,                        // Clear(x)
			opcodes.HoldingOpCode | argone.Blank | argtwo.Blank, // Holding(nil)
		}
	case opcodes.PickupOpCode: // Pickup(x)
		return []uint16{
			opcodes.ClearOpCode | argOne,                        // Clear(x)
			opcodes.OnOpCode | argOne | argtwo.Floor,            // On(x, Floor)
			opcodes.HoldingOpCode | argone.Blank | argtwo.Blank, // Holding(nil)
		}
	default:
		return nil
	}
}
Ejemplo n.º 3
0
func (state *State) findWhatIsBeingHeld() uint16 {
	for _, pred := range *state {
		opCode, argOne, _ := opcodes.GetComponents(pred)

		if opCode == opcodes.HoldingOpCode {
			return argOne
		}
	}

	return 0
}
Ejemplo n.º 4
0
func (state *State) findWhatBlockIsOn(block uint16) uint16 {
	for _, pred := range *state {
		opCode, argOne, argTwo := opcodes.GetComponents(pred)

		if opCode == opcodes.OnOpCode && argOne == block {
			return argTwo
		}
	}

	return argtwo.Blank
}
Ejemplo n.º 5
0
func (stack *StripsStack) Print() {
	for i := len(*stack) - 1; i >= 0; i-- {
		for _, item := range (*stack)[i] {
			opCode, _, _ := opcodes.GetComponents(uint16(item))
			if opCode == opcodes.OnOpCode || opCode == opcodes.StackOpCode || opCode == opcodes.UnstackOpCode {
				fmt.Printf("%s(%s, %s) ", opcodes.GetOpCode(item), argone.GetBlockLabel(item), argtwo.GetBlockLabel(item))
			} else {
				fmt.Printf("%s(%s) ", opcodes.GetOpCode(item), argone.GetBlockLabel(item))
			}
		}
		fmt.Println()
	}
}
Ejemplo n.º 6
0
func (state *State) getApplications(cmd uint16) []uint16 {
	opCode, argOne, argTwo := opcodes.GetComponents(cmd)

	switch opCode {
	case opcodes.StackOpCode:
		return []uint16{
			opcodes.HoldingOpCode,              // Holding(nil)
			opcodes.OnOpCode | argOne | argTwo, // On(x,y)
			opcodes.ClearOpCode | argOne,       // Clear(x)
		}
	case opcodes.UnstackOpCode:
		return []uint16{
			opcodes.HoldingOpCode | argOne,  // Holding(x)
			opcodes.ClearOpCode | argTwo<<6, // Clear(y)
		}
	case opcodes.PickupOpCode:
		return []uint16{
			opcodes.HoldingOpCode | argOne, // Holding(x)
		}
	default:
		return nil
	}
}