// This file is for classes that appear in JDK 11 but not in JDK 17.

package com.sun.javadoc;

import org.checkerframework.checker.nullness.qual.Nullable;

public interface FieldDoc extends MemberDoc {

  @Nullable Object constantValue();

  @Nullable String constantValueExpression();
}

public interface ProgramElementDoc extends Doc {

  @Nullable ClassDoc containingClass();
}
