Отсутствует тип параметра Scala для расширенной функции. Типы аргументов анонимной функции должны быть полностью известны.(SLS 8.5) - PullRequest
Новая
       36

Отсутствует тип параметра Scala для расширенной функции. Типы аргументов анонимной функции должны быть полностью известны.(SLS 8.5)

0 голосов
/ 26 ноября 2018

У меня есть следующий фрагмент, который мне нужно выполнить для назначения.Для выполнения задания я должен правильно заменить комментарии /*fulfill ...*/.Однако я старался изо всех сил и все еще получаю

пропущенный тип параметра для расширенной функции. Типы аргументов анонимной функции должны быть полностью известны.(SLS 8.5) ошибка.

Я нашел похожие вопросы, связанные с этой ошибкой.Однако я не мог найти решение для моей специфической проблемы этих ответов.

Поэтому цель состоит в том, чтобы проверить, соответствуют ли события свойствам.

Я рад за каждую подсказку.

Это код, который мне нужно заполнить: 

import scala.collection.mutable.MutableList

abstract class Event
case class Command(cmdName: String) extends Event
case class Succeed(cmdName: String) extends Event
case class Fail(cmdName: String) extends Event

class Property(val name: String, val func: () => Boolean)

class Monitor[T] {
    val properties = MutableList.empty[Property]

    // (propName: String)(formula: => Boolean) was inserted by me
    def property(propName: String)(formula: => Boolean) /* fulfill declaration here */ {
        properties += new Property(propName, formula _)
    }

    var eventsToBeProcessed = List[T]()

    def check(events: List[T]) {
        for (prop <- properties) {
            eventsToBeProcessed = events

            println(prop.func())                
        }
    }

    def require(func: PartialFunction[T, Boolean]):Boolean = {
        /* Fulfill body */

        // This is what I came up with and what throws the compilation error
        // case event:T => if (func.isDefinedAt(event)) Some(func(event)) else None
        // Edit 1: Now I tried this but it prints that properties evaluate to false
        var result = true
        for (event <- eventsToBeProcessed){
            if (func.isDefinedAt(event)){
                result = result && func(event)
            }
        }
        return  result
    }
}

class EventMonitor extends Monitor[Event] {
    property("The first command should succeed or fail before it is received again") {
        require {
            case Command(c) =>
                require {
                    case Succeed(`c`) => true
                    case Fail(`c`) => true
                    case Command(`c`) => false
                }
        }
    }

    property("The first command should not get two results") {
        require {
            case Succeed(c) =>
                require {
                    case Succeed(`c`) => false
                    case Fail(`c`) => false
                    case Command(`c`) => true
                }
            case Fail(c) =>
                require {
                    case Succeed(`c`) => false
                    case Fail(`c`) => false
                    case Command(`c`) => true
                }
        }
    }

    property("The first command should succeed") {
        /* Add a property definition here which requires that the first command does not fail.
         * It should yield OK with the events listed in the main method.
         */

        // This is what I came up with
        require{
            case Command(c) =>
                require{
                    case Succeed(`c`)=> true
                    case Fail(`c`) => false
                }
        }
    }
}

object Checker {

    def main(args: Array[String]) {
        val events = List(
            Command("take_picture"),
            Command("get_position"),
            Succeed("take_picture"),
            Fail("take_picture")
        )

        val monitor = new EventMonitor
        monitor.check(events)
        // Desired output should be "true false true"
    }
}

1 Ответ

0 голосов
/ 27 ноября 2018

Вы написали require функцию, которая возвращает T => Option[Boolean] целое число Boolean.Вы должны переписать его примерно так: 

def require(func: PartialFunction[T, Boolean]):Boolean = {
  val left = eventsToBeProcessed.dropWhile(!func.isDefinedAt(_))
  left.headOption.forall(head => {
    eventsToBeProcessed = left.tail
    func(head)
  })
}
...