A B C D E F G H I J K L M N O P Q R S T U V W X Y

J

JAVA_LANGUAGE - Static variable in interface org.problets.domain.state.Constants

JavaLanguage - Class in org.problets.domain.model.language

Provides Java-specific details such as the available data types

JavaLanguage() - Constructor for class org.problets.domain.model.language.JavaLanguage

JModulus - Class in org.problets.domain.model.expression.node.operator.arithmetic

To represent modulus operator in Java/C#

JModulus() - Constructor for class org.problets.domain.model.expression.node.operator.arithmetic.JModulus

JProgram - Class in org.problets.domain.model.control.abstraction

To model a Java program that handles ONLY imperative constructs (i.e., template does not contain a class declaration).

JProgram(ActivationRecord, HeapModel, String) - Constructor for class org.problets.domain.model.control.abstraction.JProgram

JURightShift - Class in org.problets.domain.model.expression.node.operator.bitwise

To represent bitwise Java unsigned right shift operator

JURightShift() - Constructor for class org.problets.domain.model.expression.node.operator.bitwise.JURightShift