本文整理汇总了Java中com.fujitsu.vdmj.typechecker.TypeChecker.detail2方法的典型用法代码示例。如果您正苦于以下问题：Java TypeChecker.detail2方法的具体用法？Java TypeChecker.detail2怎么用？Java TypeChecker.detail2使用的例子？那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类com.fujitsu.vdmj.typechecker.TypeChecker的用法示例。
在下文中一共展示了TypeChecker.detail2方法的12个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: checkOver
import com.fujitsu.vdmj.typechecker.TypeChecker; //导入方法依赖的package包/类
public void checkOver()
{
List<String> done = new Vector<String>();
TCDefinitionList singles = defs.singleDefinitions();
for (TCDefinition def1: singles)
{
for (TCDefinition def2: singles)
{
if (def1 != def2 &&
def1.name != null && def2.name != null &&
def1.name.getName().equals(def2.name.getName()) &&
!done.contains(def1.name.getName()))
{
if ((def1.isFunction() && !def2.isFunction()) ||
(def1.isOperation() && !def2.isOperation()))
{
def1.report(3017, "Duplicate definitions for " + def1.name.getName());
TypeChecker.detail2(def1.name.getName(), def1.location, def2.name.getName(), def2.location);
done.add(def1.name.getName());
}
}
}
}
}
示例2: detail2
import com.fujitsu.vdmj.typechecker.TypeChecker; //导入方法依赖的package包/类
public void detail2(boolean serious, String tag1, Object obj1, String tag2, Object obj2)
{
if (serious)
{
TypeChecker.detail2(tag1, obj1, tag2, obj2);
}
}
示例3: detail2
import com.fujitsu.vdmj.typechecker.TypeChecker; //导入方法依赖的package包/类
public void detail2(
boolean serious, String tag1, Object obj1, String tag2, Object obj2)
{
if (serious)
{
TypeChecker.detail2(tag1, obj1, tag2, obj2);
}
}
示例4: detail2
import com.fujitsu.vdmj.typechecker.TypeChecker; //导入方法依赖的package包/类
/**
* @see com.fujitsu.vdmj.ast.definitions.ASTDefinition#detail2
*/
public void detail2(String tag1, Object obj1, String tag2, Object obj2)
{
TypeChecker.detail2(tag1, obj1, tag2, obj2);
}
示例5: detail2
import com.fujitsu.vdmj.typechecker.TypeChecker; //导入方法依赖的package包/类
public void detail2(String tag1, Object obj1, String tag2, Object obj2)
{
TypeChecker.detail2(tag1, obj1, tag2, obj2);
}
示例6: detail2
import com.fujitsu.vdmj.typechecker.TypeChecker; //导入方法依赖的package包/类
/**
* @see com.fujitsu.vdmj.ast.definitions.PODefinition#detail2
*/
public void detail2(String tag1, Object obj1, String tag2, Object obj2)
{
TypeChecker.detail2(tag1, obj1, tag2, obj2);
}
示例7: detail2
import com.fujitsu.vdmj.typechecker.TypeChecker; //导入方法依赖的package包/类
/**
* @see com.fujitsu.vdmj.ast.definitions.ASTDefinition#detail2
*/
public void detail2(String tag1, Object obj1, String tag2, Object obj2)
{
TypeChecker.detail2(tag1, obj1, tag2, obj2);
}
示例8: detail2
import com.fujitsu.vdmj.typechecker.TypeChecker; //导入方法依赖的package包/类
/**
* Add detail to a type checking error or warning. As {@link #detail},
* except two tag/value pairs can be passed (eg. "Actual" x, "Expected" y).
*/
public void detail2(String tag1, Object obj1, String tag2, Object obj2)
{
TypeChecker.detail2(tag1, obj1, tag2, obj2);
}
示例9: detail2
import com.fujitsu.vdmj.typechecker.TypeChecker; //导入方法依赖的package包/类
/**
* @see org.INDefinition.vdmj.definitions.Definition#detail2
*/
public void detail2(String tag1, Object obj1, String tag2, Object obj2)
{
TypeChecker.detail2(tag1, obj1, tag2, obj2);
}
示例10: detail2
import com.fujitsu.vdmj.typechecker.TypeChecker; //导入方法依赖的package包/类
/**
* @see com.fujitsu.vdmj.ast.definitions.TCDefinition#detail2
*/
public void detail2(String tag1, Object obj1, String tag2, Object obj2)
{
TypeChecker.detail2(tag1, obj1, tag2, obj2);
}
示例11: detail2
import com.fujitsu.vdmj.typechecker.TypeChecker; //导入方法依赖的package包/类
/**
* @see com.fujitsu.vdmj.ast.definitions.TCDefinition#detail2
*/
public void detail2(String tag1, Object obj1, String tag2, Object obj2)
{
TypeChecker.detail2(tag1, obj1, tag2, obj2);
}
示例12: detail2
import com.fujitsu.vdmj.typechecker.TypeChecker; //导入方法依赖的package包/类
/**
* @see org.TCDefinition.vdmj.definitions.Definition#detail2
*/
public void detail2(String tag1, Object obj1, String tag2, Object obj2)
{
TypeChecker.detail2(tag1, obj1, tag2, obj2);
}