org.checkerframework.framework.util

Class ComboLog

java.lang.Object

org.checkerframework.framework.util.ComboLog

public class ComboLog
extends Object

Created by jburke on 6/12/14. TODO: Document this class. It is currently not used within the framework.

Field Summary

Fields

Modifier and Type	Field and Description
static CompilationUnitTree	root

Constructor Summary

Constructors

Constructor and Description
ComboLog()

Method Summary

Modifier and Type	Method and Description
static void	writeCombo(AnnotatedTypeMirror rhs, AnnotatedTypeMirror lhs, String checker)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

root

public static CompilationUnitTree root

Constructor Detail

ComboLog

public ComboLog()

Method Detail

writeCombo

public static void writeCombo(AnnotatedTypeMirror rhs,
                              AnnotatedTypeMirror lhs,
                              String checker)