本文整理匯總了Java中com.fujitsu.vdmj.typechecker.Environment.findStateDefinition方法的典型用法代碼示例。如果您正苦於以下問題：Java Environment.findStateDefinition方法的具體用法？Java Environment.findStateDefinition怎麽用？Java Environment.findStateDefinition使用的例子？那麽, 這裏精選的方法代碼示例或許可以為您提供幫助。您也可以進一步了解該方法所在類com.fujitsu.vdmj.typechecker.Environment的用法示例。
在下文中一共展示了Environment.findStateDefinition方法的3個代碼示例，這些例子默認根據受歡迎程度排序。您可以為喜歡或者感覺有用的代碼點讚，您的評價將有助於係統推薦出更棒的Java代碼示例。
示例1: implicitDefinitions
import com.fujitsu.vdmj.typechecker.Environment; //導入方法依賴的package包/類
@Override
public void implicitDefinitions(Environment base)
{
state = base.findStateDefinition();
if (precondition != null)
{
predef = getPreDefinition(base);
predef.markUsed();
}
if (postcondition != null)
{
postdef = getPostDefinition(base);
postdef.markUsed();
}
}
示例2: typeCheck
import com.fujitsu.vdmj.typechecker.Environment; //導入方法依賴的package包/類
@Override
public void typeCheck(Environment base, NameScope scope)
{
if (base.findStateDefinition() != this)
{
report(3047, "Only one state definition allowed per module");
return;
}
for (TCField field: recordType.fields)
{
TypeComparator.checkComposeTypes(field.type, base, false);
}
statedefs.typeCheck(base, scope);
if (invdef != null)
{
invdef.typeCheck(base, scope);
}
if (initdef != null)
{
initdef.typeCheck(base, scope);
}
}
示例3: typeCheck
import com.fujitsu.vdmj.typechecker.Environment; //導入方法依賴的package包/類
@Override
public TCType typeCheck(Environment env, NameScope scope, TCType constraint)
{
targetType = target.typeCheck(env);
expType = exp.typeCheck(env, null, scope, targetType);
if (!TypeComparator.compatible(targetType, expType))
{
report(3239, "Incompatible types in assignment");
detail2("Target", targetType, "Expression", expType);
}
classDefinition = env.findClassDefinition();
stateDefinition = env.findStateDefinition();
inConstructor = inConstructor(env);
if (inConstructor)
{
// Mark assignment target as initialized (so no warnings)
TCDefinition state = target.targetDefinition(env);
if (state instanceof TCInstanceVariableDefinition)
{
TCInstanceVariableDefinition iv = (TCInstanceVariableDefinition)state;
iv.initialized = true;
}
}
return new TCVoidType(location);
}