NINJA-IDE

Attributes

• __editor [at ln:43]
• __id [at ln:20]
• _checkers_executed [at ln:39]
• _has_checkers [at ln:81]
• _lang [at ln:78]
• _nfile [at ln:23]
• encoding [at ln:47]
• project [at ln:61]
• registered_checkers [at ln:79]
• text_modified [at ln:30]

Function: ID() [at ln:63]

def ID():

No description.

Decorators:

• property

Function: __init__(filepath=None, project=None) [at ln:18]

def __init__(filepath=None, project=None):

No description.

Function: display_name() [at ln:67]

def display_name():

No description.

Decorators:

• property

Function: has_checkers() [at ln:71]

def has_checkers():

Decorators:

• property

Function: include_checkers(lang=str) [at ln:76]

def include_checkers(lang=str):

Function: run_checkers(content, path=None, encoding=None) [at ln:98]

def run_checkers(content, path=None, encoding=None):

No description.

Function: save_content() [at ln:55]

def save_content():

Function: set_editor(editor) [at ln:41]

def set_editor(editor):

Function: show_checkers_notifications() [at ln:103]

def show_checkers_notifications():

Function: update_checkers_metadata(blockNumber, diference) [at ln:89]

def update_checkers_metadata(blockNumber, diference):

Function: update_project(project) [at ln:60]

def update_project(project):

No description.