Наложение ограничений или ограничений на тело метода в Java

Контекст (Редактировать)

некоторые разъяснения были по требованию, поэтому я попытаюсь подвести итог, что влияет на вопрос.

• цель проекта-предоставить программистам определенную функциональность, скорее всего, в виде библиотеки (банка с файлами классов, я думаю).

• чтобы использовать указанную функциональность, программисты должны были бы соответствовать ограничениям, которые должны (должно) быть удовлетворены. В противном случае он не будет работать так, как ожидалось (так же, как замки из java.util.concurrent, который должен быть приобретен / освобожден в соответствующее время и место).

• этот код не будет точка входа в приложения, использующие его (ie, нет main).

• существует ограниченное (и небольшое) количество операций, предоставляемых в API.

примеры:

1. думаю небольшой игры, где практически все реализовано и управляется уже реализованными классами. Единственное, что остается программисту сделать, это написать метод или несколько из них, которые описывают, что будет делать персонаж (ходить, менять направление, останавливаться, проверять объект). Я хотел бы убедиться, что их методы (возможно, помечены аннотацией?) просто walk или changeDirection, или расчета diff = desiredValue - x, а не, скажем, писать в какой-то файл или открывать сокет соединение.

2. подумайте о менеджере транзакций. Менеджер будет предоставлен этой библиотекой, а также некоторые постоянные атрибуты транзакций (их уровень изоляции, тайм-ауты,...). Теперь программисты хотели бы иметь транзакции и использовать этот менеджер. Я хотел бы убедиться, что они только read, write, commit или rollback на некоторых ресурсах, известный менеджер. Я бы не хотел, чтобы они ... --11--> в середине транзакции, если менеджер не контролирует запуск ракет.

Проблема

я хочу наложить некоторые инварианты / ограничения/ограничения на тело метода (или группы методов), которые позже будут реализованы каким-либо другим программистом в каком-либо другом пакете / местоположении. Скажем, я даю им что-то вроде:--18-->

public abstract class ToBeExtended {
    // some private stuff they should not modify
    // ...
    public abstract SomeReturnType safeMethod();
}

для целей этого проекта важно (возможно, императивно), чтобы тело метода удовлетворяло некоторым инварианты. Или, скорее, необходимо, чтобы набор команд, используемых в реализации этого метода, был ограничен. Примеры этих ограничений:

• этот метод не должен выполнять никаких операций ввода-вывода
• этот метод не должен создавать какие-то неизвестные (потенциально опасные) объекты.
• ...

иными словами:

• этот метод может вызывать методы известного (определенного) класс.
• этот метод может выполнять некоторые basic инструкции (математика, назначение локальных переменных,ifs, петли...).

я просматривал аннотации, и, похоже, нет ничего близкого к этому.
Мои варианты до сих пор:

1. определите некоторую аннотацию,@SafeAnnotation, и применить его к методу, определяющему контракт с исполнителем, что он будет следовать установленным правилам, иначе система будет неисправность.

2. определение Enum С разрешенными операциями. Вместо предоставления разрешенных методов предоставляется только метод, который принимает список этих объектов перечисления (или что-то подобное График Потока Управления?) и выполняет его, давая мне контроль над тем, что можно сделать.

пример:

public enum AllowedOperations { OP1, OP2 }

public class TheOneKnown {
    public void executeMyStuff (List<AllowedOperations> ops) {
        // ...
    }
}

У Меня Вопрос

есть ли какие-либо функции на языке, такие как аннотации, отражение или иное, позволяющее мне проверять (во время компиляции или во время выполнения), является ли метод допустимым (ie, удовлетворяет мои ограничения)?
Или, скорее, есть ли способ заставить его вызывать только ограниченный набор других методов?

если нет (и я думаю, что нет), будет ли этот второй подход подходящей альтернативой?
Подходит, как в интуитивном, хорошо продуманном и / или хорошей практике.

Обновления (Прогресса)

посмотрев на некоторых связанных с этим вопросах я также рассматриваю (в качестве третьего варианта, возможно) следующие шаги, приведенные в принятом ответе этот вопрос. Хотя, это может потребовать некоторого переосмысления архитектуры.

вся идея использования аннотаций для наложения ограничений, похоже, требует реализации моего собственного процессора аннотаций. Если это правда, я мог бы также рассмотреть небольшой доменный язык, чтобы программист использовал эти ограниченные операции, позже перевод кода на Java. Таким образом, я также буду иметь контроль над тем, что указано.