2007-09-20 18:09:08 -04:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								USING:  help.markup  help.syntax  ;
  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								IN:  help.lint  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2008-02-26 21:20:30 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								HELP:  help-lint-all  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								{ $description "Checks all word help and articles in all loaded vocabularies."  } ;
 
							 
						 
					
						
							
								
									
										
										
										
											2007-12-11 22:36:40 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2008-02-26 21:20:30 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								HELP:  help-lint  
						 
					
						
							
								
									
										
										
										
											2008-03-11 20:51:58 -04:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								{ $values { "prefix"  "a vocabulary specifier"  } }
							 
						 
					
						
							
								
									
										
										
										
											2008-02-26 21:20:30 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								{ $description "Checks all word help and articles in the given vocabulary and all child vocabularies."  } ;
 
							 
						 
					
						
							
								
									
										
										
										
											2007-12-11 22:36:40 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2007-09-20 18:09:08 -04:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								ARTICLE: "help.lint"  "Help lint tool" 
							 
						 
					
						
							
								
									
										
										
										
											2007-12-11 22:36:40 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								"The "  { $vocab-link "help.lint"  } " vocabulary implements a tool to check documentation in an automated fashion. You should use this tool to check any documentation that you write."  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								$nl
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								"To run help lint, use one of the following two words:"  
						 
					
						
							
								
									
										
										
										
											2009-10-01 15:56:36 -04:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								{ $subsections
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								    help-lint
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								    help-lint-all
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								}
							 
						 
					
						
							
								
									
										
										
										
											2009-04-12 17:31:25 -04:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								"Once a help lint run completes, failures can be listed:"  
						 
					
						
							
								
									
										
										
										
											2009-10-01 15:56:36 -04:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								{ $subsections :lint-failures }
							 
						 
					
						
							
								
									
										
										
										
											2009-04-12 17:31:25 -04:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								"Help lint failures are also shown in the "  { $link "ui.tools.error-list"  } "."  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								$nl
							 
						 
					
						
							
								
									
										
										
										
											2007-12-11 22:36:40 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								"Help lint performs the following checks:"  
						 
					
						
							
								
									
										
										
										
											2007-09-20 18:09:08 -04:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								{ $list
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								    "ensures examples run and produce stated output" 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								    { "ensures "  { $link $see-also } " elements don't contain duplicate entries"  }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								    { "ensures "  { $link $vocab-link } " elements point to modules which actually exist"  }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								    { "ensures that "  { $link $values } " match the stack effect declaration"  }
							 
						 
					
						
							
								
									
										
										
										
											2008-02-26 21:20:30 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								    { "ensures that help topics actually render (this catches broken links, improper nesting, etc)"  }
							 
						 
					
						
							
								
									
										
										
										
											2007-09-20 18:09:08 -04:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								} ;
 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								ABOUT: "help.lint"