MircStylePlugin.java

MircStylePlugin.java

current inspection = 2009-09-03 21:56:13 (id #1)

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

Kind	Annotation Text

Kind	Annotation Text

Kind	Annotation Text
post	init'ed(return_value.tabCompleter)
post	init'ed(return_value.window)
post	new MircStyle(getCompletionStyle#1) num objects == 1
post	return_value == &new MircStyle(getCompletionSty le#1)
post	return_value.tabCompleter == completer
post	return_value.window == window

Kind	Annotation Text

Kind	Annotation Text